Quickly determine what github pull request merged a commit to master