Feature: pull-rebase before push to remote

[bbompk]

I am not sure how this behave but, if there are multiple triggers of this workflow on the same repo and same branch chances are that some runs might fail to push?

If there is a flag that can pull the repository (with rebase) before push this might solve the problem.

I might need to experiment on this first tho.

[GuillaumeFalourd]

Hi @bbompk , thank you for opening the issue!

Would you have a workflow example to reproduce this behavior and check what happens?

Currently, I believe some runs may fail to push if the fetch performed during the action execution occurs before some workflows push new file(s) to the same branch.

Feel free to suggest where you would add the rebase in the action execution in that case 👍🏼

[bbompk]

Hi, I did some experiment. The window might be tight, but the race condition does happen.

In the repo below I simulate a 2 concurrent runs that wants to push to the repo. I ran multiple workflows, some runs fail due to the race condition. All the runs in the history are the same version.

https://github.com/bbompk/test_push_commit/actions/runs/7809741902

[GuillaumeFalourd]

Hi, I did some experiment. The window might be tight, but the race condition does happen.

In the repo below I simulate a 2 concurrent runs that wants to push to the repo. I ran multiple workflows, some runs fail due to the race condition. All the runs in the history are the same version.

https://github.com/bbompk/test_push_commit/actions/runs/7809741902

Nice, thank you for sharing! 🥇

Would you mind opening a PR adding the rebase command? That way you'll appear as contributor on the repository! 😄

[bbompk]

Would you mind opening a PR adding the rebase command? That way you'll appear as contributor on the repository! 😄

Okie, I'll see what I can do