Hi all, I'd like to propose to enable the Github button "update branch" in the pull requests.
The main reason is that it helps when you want to rebase your pull to the current master. For instance today a fix for a failing job in the CI has been committed and you were forced to close/reopen the pull or manual rebase your branch. With this button is much easier and it will retrigger the CI as well. This is the guide to enable it: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/proposing-changes-to-your-work-with-pull-requests/keeping-your-pull-request-in-sync-with-the-base-branch This is an example where I activated the button in my own Pulsar fork: https://github.com/nicoloboschi/pulsar/pull/4 Thanks, Nicolò Boschi
