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.

1. Create a bare clone of the repository.

git clone --bare https://github.com/EXAMPLE-USER/OLD-REPOSITORY.git

2. Mirror-push to the new repository.

cd OLD-REPOSITORY.git
git push --mirror https://github.com/EXAMPLE-USER/NEW-REPOSITORY.git

3. 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