Skip to content
This repository has been archived by the owner on Jan 21, 2025. It is now read-only.

race condition git push when run more than one commands in parallel #254

Closed
mordamax opened this issue Dec 5, 2023 · 0 comments · Fixed by paritytech/command-bot-scripts#62
Assignees

Comments

@mordamax
Copy link
Contributor

mordamax commented Dec 5, 2023

Reported by @acatangiu
paritytech/polkadot-sdk#2619 (comment)

When running benchmarks 1,2,3
it pushes 1, but 2,3 remain to be not up to date, so it fails pushing the diff

Proposed fix:
run git pull --rebase before pushing and re-try if that still fails, as there's still chance

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant