Important: the target repo must first be created.
git clone --bare <https://github.com/exampleuser/old-repository.git>
cd <old-repository.git>
git push --mirror <https://github.com/exampleuser/new-repository.git>
Finally, the orig repo old-repository.git
can de be deleted