The ability to move a repo to a new name in pagure would be useful. This is currently not being worked on by anyone but pingou has volunteered to review a patch if anyone submitted it.
https://pagure.io/pagure/issue/2103 Dusty _______________________________________________ infrastructure mailing list -- infrastructure@lists.fedoraproject.org To unsubscribe send an email to infrastructure-le...@lists.fedoraproject.org