Git refs merge vs head in pull request
The refs/pull/<number>/merge is a reference created by GitHub to keep track of what would happen if a pull request was merged. It references the merge commit between refs/pull/<number>/head and the destination branch (e.g. master). You can think of it as a “future” commit. GitHub (as well as other Git-based collaboration platforms) use this technique to … Read more