Having to always
git reset --hard origin/master after a PR is merged is the single most annoying thing when using GitHub’s Rebase and merge strategy. The documentation says:
The rebase and merge behavior on GitHub deviates slightly from
git rebase. Rebase and merge on GitHub will always update the committer information and create new commit SHAs, whereas
git rebaseoutside of GitHub does not change the committer information when the rebase happens on top of an ancestor commit.
…but fails to offer any rationale as for why the committer information needs to be modified.