I have moved a project from Github to another code hosting page (in this case Codeberg). What's the best way to redirect users to the new repository? At https://www.erat.org/codeberg.html I have found this advice:
In the About section at the right side of the repo’s GitHub page, I changed the description to “Moved to codeberg.org/user/repo” and also set its URL to https://codeberg.org/user/repo. I made a final commit (via the GitHub web interface) to replace the contents of the README.md file with Moved to https://codeberg.org/user/repo.
Finally, I clicked the Settings link and the scary Archive this repository button at the bottom of the page. Note that you won’t be able to edit the repo’s description or URL after you archive it, but you can always temporarily unarchive it if you need to make changes.
Is there a better way? E.g. an automatic redirect? (I don't think so, but you never know!).