Moving from GitHub to Codeberg, for lazy people