message no. 174617
Posted by darkfreeway in #github at 2019-09-18T21:37:48Z
This kinda creates a race condition with a reviewer and the developer. Let's say reviewer wants to merge it, and spends some time reviewing the Pull Request.