Learn more about these different git repos.
Other Git URLs
We used to have a (discret) button that allowed deleting entirely a ticket.
We should bring it back.
Implemented in https://pagure.io/pagure/pull-request/734
Login to comment on this ticket.