We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
If more than one publisher is trying to publish to the same Git remote, it's possible for some one else to win in between the clone and commit/push.
This makes the push no longer a fast-forward push, and some Git remotes may reject it.
Recovering and adjusting the parent commit is a more resilient way to react to this race condition.
The text was updated successfully, but these errors were encountered:
No branches or pull requests
If more than one publisher is trying to publish to the same Git remote, it's possible for some one else to win in between the clone and commit/push.
This makes the push no longer a fast-forward push, and some Git remotes may reject it.
Recovering and adjusting the parent commit is a more resilient way to react to this race condition.
The text was updated successfully, but these errors were encountered: