message no. 96805
Posted by IntriR in #github at 2015-06-05T07:50:28Z
Hi all - is it possible to push new commits to a PR that has already been merged? Is this considered bad practice?
Posted by IntriR in #github at 2015-06-05T07:50:28Z