Theory:
your git repository can have more than one remote server; In this case we want to have two:
- one for our private repository on gitlab (will be the default one, called
origin) - one to be connected to the source repo on github, to be able to pull new changes (will be called
upstream)
How to make a private fork from github to gitlab