"We rely on the merge commit that GitHub transparently creates between the changes in the source branch and the upstream branch the pull request is sent against."