git: add alias to merge GitHub pull requests