message no. 142352
Posted by Geo in #github at 2016-07-09T03:01:18Z
Hi! one of our brilliant co-devs, several dozen commits back, somehow managed to only merge the 'ChangeLog' file in about a dozen PRs (via GitHub). I assume the local branches have since been deleted; is there someway to go back and resubmit those PRs via GitHub, when I'm not the originator? I have the original commit SHA of the originator, just not sure if I can re-do it on their behalf