Convert pagure.io projects to GitHub?
E.g. prunerepo, rpkg-util, license-validate, etc.
Convert pagure.io projects to GitHub?
+1
Somewhere I commented that this is my preferred option, but I cannot remember where, so confirming once again.
We should probably use the same migration tool as before https://fedora-copr.github.io/posts/coprs-migration-to-github
Meeting time: No known shut-down date for pagure.io yet, working on testing forgejo instance (we can experiment now, plans related to the hard switch are about to happen around FLOCK). @lachmanfrantisek seems some people will likely want to keep pagure.io running forever :-(
For the record here is the offiicial Fedora documentation for migrating to Forgejo https://docs.fedoraproject.org/en-US/forge-documentation/migration/pagure/
However, I'd still prefer migrating to GitHub. No reason to have some of our projects elsewhere.