Agreed, and here's a git alias I made for the occasion:
merge-pr = "!f() { git fetch $1 $2; git branch _FETCH_HEAD FETCH_HEAD && git rebase HEAD _FETCH_HEAD && git checkout master && git merge --ff-only _FETCH_HEAD; git branch -d _FETCH_HEAD; }; f"
Syntax: `git merge-pr <remote> <branch>`. You can copypaste url + branch from github's UI above the merge button.Note: This merges only to master, no way to specify another merge target. Feel free to suggest improvements.