Version control

Here you will find the explanation and the commands to use to update the remote repository of a git project. This is useful if your git server is changed for any reason.