message no. 129802
Posted by JoshTriplett in #github at 2016-04-04T06:58:33Z
Given a pull request referencing a branch, is there any way to rename that branch and make the pull request reference the new branch?
Posted by JoshTriplett in #github at 2016-04-04T06:58:33Z