Manchmal will man sein Git einfach woanders hinlegen. Man kann da eine riesen Sache draus, machen. Oder aber, man befasst sich damit, was wie git funktioniert und schon hat man schnell eine Lösung gefunden.
In meinem Fall wollte ich von einem olllen alten internen git Server weg zu Github und dabei auch gleich deren Vorstellung (main anstelle von master - zum Beispiel) folgen.
Es ergibt sich also folgender CLI Schnipsel um das Ziel zu erreichen
git clone $ALTESREPO
cd $ALTESREPO
git remote set-url origin $NEUESREPO
git branch -M main
git push -u origin main
git push --all origin
git push --tags origin
Zack - alles umgezogen.