Details
-
Suggestion
-
Resolution: Unresolved
Description
Currently, it is possible to merge to an already resolved/closed branch in a pull request if there is a long standing pull request. We should either refresh the current branch cache (don't show closed branches) or at least warn the user that the target branch that is being merged is new/closed.