Re: [PATCH] Add a script to rebase and merge pull requests