Using pr-cli pick to update a pull request causes actions to trigger twice

annervisser / pr-cli

Command line tool for easily creating pull requests for part of your changes without interrupting your flow.

https://deno.land/x/prcli

MIT License

8 stars 1 forks source link

Closed annervisser closed 4 months ago

annervisser commented 4 months ago

Some pull requests are firing the synchronized event twice, causing any GitHub Actions workflows with pull_request: to also run twice.

This seems to be a GitHub bug, caused by simultaneously pushing to a branch and updating metadata of the pull request for said branch.

A similar issue was reported for another tool doing this: https://github.com/ejoffe/spr/issues/207