Opened 4 years ago
Last modified 3 years ago
#22040 closed defect
Close GitHub PRs that have been merged — at Initial Version
| Reported by: | taylor.smock | Owned by: | team |
|---|---|---|---|
| Priority: | normal | Milestone: | |
| Component: | Git mirror | Version: | |
| Keywords: | Cc: |
Description
I don't have the ability to close some of the GitHub PRs that have been merged.
Specifically
Note:
See TracTickets
for help on using tickets.
