message no. 105106
Posted by Seveas in #github at 2015-07-26T07:52:28Z
larku: you can fetch the pull request (git fetch url-of-original refs/pull/pull-number-here/head:refs/heads/temp-branch-for-pull) and then merge it (git merge temp-branch-for-pull)