message no. 172769
Posted by rafasc in #github at 2019-05-30T19:10:41Z
if you only merge P2, you still get all the commits from P1, but you loose the context that they were different PRs.
Posted by rafasc in #github at 2019-05-30T19:10:41Z