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-leave@lists.fedoraproject.org