Open
Description
It would be great to be able to retry. My use case is that I have different workflows that push to a PR with pull: --rebase
. However it can happen that Workflow 1 pulls, then workflow 2 pulls, then workflow 1 pushes, and then workflow 2 will fail; even though it did rebase, it rebased too early.