1. Start a project

$ git init #project name

2. if you have key for download, copy the project from github or other git

$ git clone #link

3. if not, assign a key to your account

$ ssh -keygen #account domain name

4. copy the key to Github

$ xclip -sel clip #key

5. connect github on your local computer

$ ssh -T #website, e.g., git@gitlab.inria.fr

6. copy your project folder to the github project folder and add them all to github, if the folder is large, it can takes some times

$ cd #git_projection
$ git add .

7. log on git using your account name and password

$ git config --gloabl user.email #your accound name

8. commit

$ git commit -m #log of comments, e.g. "compiled result"

9. check the commit results

$ git log

10. upload the changes

$ git push