Details
-
Bug
-
Resolution: Won't Fix
-
Medium
Description
If you have a Mercurial repo with a PR and then push a successor commit which makes the commit in the PR obsolete you should not be able to merge the PR.
I just had an interesting race condition where before I updated the PR, it was merged.