message no. 177990
Posted by jess in #github at 2020-03-17T10:33:43Z
teut: if you push a new branch, github assumes you'll eventually want to do a pull request for it
Posted by jess in #github at 2020-03-17T10:33:43Z