+1 Best, Zixuan
On 2022/07/12 16:06:43 Nicolò Boschi wrote: > 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 >
