+1, I think it's useful. Best, Mattison
On Thu, 18 Aug 2022 at 14:12, Nicolò Boschi <boschi1...@gmail.com> wrote: > 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 > > >
