Details
-
Bug
-
Status: Resolved
-
Major
-
Resolution: Fixed
-
None
-
None
Description
The merge script currently matches an issue id followed by ':', but not everyone uses the ':' and then we end up with orphaned pull requests.