Learn more about these different git repos.
Other Git URLs
There are titles for deletion but not for the other two options.
Fixed in https://pagure.io/pagure/pull-request/1045
Login to comment on this ticket.