message no. 178957
Posted by escherial in #github at 2020-04-05T11:48:21Z
would it be a bad idea to make a branch off my initial PR, do the extra work there, then submit a PR for that other branch later on, once the first one gets merged?