Skip to content
New issue

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

suggestion: retry push logic #513

Closed
dongho-jung opened this issue Jul 2, 2023 · 1 comment
Closed

suggestion: retry push logic #513

dongho-jung opened this issue Jul 2, 2023 · 1 comment
Labels
status: pending More info is needed before deciding what to do

Comments

@dongho-jung
Copy link

If you run two add-and-commit actions almost simultaneously, you could get following error.

Error: Error: To https://github.com/foo/bar
!	refs/heads/main:refs/heads/main	[remote rejected] (cannot lock ref 'refs/heads/main': is at a0d18c45d2641f53c5fbc5fee82a79c506443bbc but expected 4826ed03d4ae9264964fd6e2c9df73cbf9413b92)
Done

Even though you use pull: rebase --auto-stash option this could happen.

This case is quite rare but can happen indeed.

So I suggest some retry logic for this case.

If it's acceptable I can PR too

@dongho-jung dongho-jung added the status: pending More info is needed before deciding what to do label Jul 2, 2023
@dongho-jung
Copy link
Author

sorry it was duplicate issue #321

@EndBug EndBug closed this as not planned Won't fix, can't repro, duplicate, stale Jul 3, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
status: pending More info is needed before deciding what to do
Projects
None yet
Development

No branches or pull requests

2 participants