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
# 1. clone the github project in your workspace