Any comments? Nicolò Boschi
Il giorno mar 12 lug 2022 alle ore 18:06 Nicolò Boschi <boschi1...@gmail.com> ha scritto: > 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 >
