Github basics

Beware its easy to forget there is a difference between github and git.
Github is the server-repository to where we connect our locally installed git repository.

Part A - update your repository
This part assumes that you have installed git and also cloned a repository from github.

1. Start a terminal and place yourself inside the project directory.
   This first step differs between different platforms.
   1.1 Git Linux & MAC OSX
   Start a bash terminal
   Place yourself in the folder where the THA-PIPE directory.
   

cd
1.2 Git Windows
Start your git bash program. (try to look in your start-menu)
Place yourself in the folder where the THA-PIPE directory.

2. If you haven't done any changes and just want keep updated:
   

git pull

3. Congratulations your repository is up to date!