message no. 177683
Posted by avuncular in #github at 2020-03-12T18:16:24Z
So, locally I'll merge the branch into `develop`, and push that up, and GitHub will 'understand'
Posted by avuncular in #github at 2020-03-12T18:16:24Z