Copying a complete git repo

This week I needed to copy a complete git repo, and couldn’t quickly find how to. In the end I found this:

$ git clone --mirror git@source.com/upstream-repository.git
$ cd upstream-repository.git
$ git push --mirror git@target.com/new-location.git

which worked as a charm.