Hi Flavio, The merge script is branch agnostic - it only cares about the pull request number. As long as in the pull request the correct target branch is specified, the merge script will do its job by merging the change to the specified target branch. I guess we could commit the same script to branch-3.5 but the current script in master should be able to do what you asked.
On Tue, May 8, 2018 at 4:06 PM, Flavio Junqueira <[email protected]> wrote: > Could anyone remind me why we don't have the merge script on branch-3.5? > Say I have a change that targets branch-3.5 alone. Shouldn't I be able to > have a PR that targets branch-3.5 and use the merge script? > > Thanks, > -Flavio -- Cheers Michael
