-
Type:
Bug
-
Resolution: Won't Fix
-
Priority:
Medium
-
Component/s: Repository - Pull requests
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.