message no. 174618
Posted by darkfreeway in #github at 2019-09-18T21:39:00Z
And when everything looks good, merges the Pull Request, but a developer who now wants to work on a different feature on the same branch, pushed new changes right before reviewer merged.