Git Fork
Creating a private fork:
- https://stackoverflow.com/questions/10065526/github-how-to-make-a-fork-of-public-repository-private
- https://docs.github.com/en/repositories/creating-and-managing-repositories/duplicating-a-repository
This is super useful, for example for the Air Hockey challenge that I was working on.
- Create a bare clone of the repository.
git clone --bare https://github.com/EXAMPLE-USER/OLD-REPOSITORY.git
- Mirror-push to the new repository.
cd OLD-REPOSITORY.git
git push --mirror https://github.com/EXAMPLE-USER/NEW-REPOSITORY.git
- Remove the temporary local repository you created earlier.
cd ..
rm -rf OLD-REPOSITORY.git
And then you should clone the repo again. Consult the first link