message no. 109362
Posted by Glenjamin in #github at 2015-08-23T11:02:49Z
if you click the "manual" link next to the merge button, it gives you instructions for making a local branch based off the PR
Posted by Glenjamin in #github at 2015-08-23T11:02:49Z