"Rebase and merge" button on github