Details
-
Bug
-
Resolution: Done
-
Undefined
-
None
-
None
Description
If there are merged PRs and any are closed without merging the ticket will not close.
If there are merged PRs and any are closed without merging the ticket will not close.