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@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to infrastructure-leave@xxxxxxxxxxxxxxxxxxxxxxx
