Learn more about these different git repos.
Other Git URLs
A pull request may have been tagged or not tagged correctly before it was merged. There should be a way for someone with the ticket ACL to add metadata to a closed pull request.
Metadata Update from @pingou: - Issue tagged with: RFE
I've been testing with PR tagging on master due to #4620 and I can tag|untag closed pull requests as a ticket user, both merged and cancelled ones.
I'll close this as fixed, but feel free to reopen it =)
Metadata Update from @jlanda: - Issue close_status updated to: Duplicate - Issue status updated to: Closed (was: Open)
Brbrbrb, I'll have to priorize #4451 since I failed selecting the reason
I can confirm this works for me now too.
Login to comment on this ticket.