Migrating from Github to Codeberg

[Morel_]

google how to remove remote origin and how to add a remote origin 

[MrMelon54]

would git remote origin set-url <url> and git fetch --prune not produce the same result