Comment by epmatsw

But how can you know it's safe in a collaborative project? What if someone else merges a PR right before you push?