message no. 174620
Posted by darkfreeway in #github at 2019-09-18T21:40:19Z
Or should the discipline be, that developer branches out from that PR branch, and starts working on a different branch now?
Posted by darkfreeway in #github at 2019-09-18T21:40:19Z