+[2017-02-19T08:26:31Z]dRealmWhen a pull request gets merged upstream ("the base repo" or "the base fork"), is that a new commit into the base repo? +[2017-02-19T08:28:44Z]dRealmThe message on github says, "sama merged commit 9e09605 into <gh_username>:master" +[2017-02-19T08:30:00Z]dRealmI've checked my commit log, and there is not a commit # that begins with (or contains the substring) 9e09605 +[2017-02-19T10:03:45Z]dRealmWhen a PR is sent to the base repo (upstream), does the person reviewing the PR have the choice of merging in a specific commit on the PR branch? +[2017-02-19T10:05:10Z]dRealmThis might be obvious, but I am not sure.
+[2017-02-20T02:00:43Z]sz0how can i find a pull request by only having head ref? +[2017-02-20T07:05:31Z]raedahis there any way to get a black background on github? +[2017-02-20T07:06:21Z]Seveas_sz0: compare the sha1 with what git ls-remote origin refs/pull/*/head gives you +[2017-02-20T07:06:42Z]Seveas_(assuming 'origin' is the repo the PR's are in) +[2017-02-20T17:00:32Z]sz0Seveas: thanks for the reply. i have ended up using search and pull request api endpoints