Kinda difficult to do it in a way that isn’t easy tbh!
Just locally rename your old origin to old-github or something, add your new origin (codeberg is a good shout) and then push. Maybe put a notice & link on your old repo’s readme and then archive the repo on GitHub
Kinda difficult to do it in a way that isn’t easy tbh!
Just locally rename your old origin to old-github or something, add your new origin (codeberg is a good shout) and then push. Maybe put a notice & link on your old repo’s readme and then archive the repo on GitHub
Job done in less than 5 mins per repo
The hardest part will be getting dub to play nicely with Codeberg…