 1003  git status
 1004  git branch -a
 1005  git checkout -b experimental
 1006  git status
 1007  gitk
 1008  git remote -v
 1009  git remote add origin  git@git.epn-campus.eu:chst 
 1010  git remote 
 1011  git remote -v
 1012  git help push
 1013  git push origin experimental
 1014  git branch -a
 1015  git branch -a --color 
 1016  git checkout master
 1017  git pull 
 1018  ssh-add
 1019  ssh-agent bash

 1000  ssh-add
 1001  fir branch -a
 1002  git  branch -a
 1003  git pull
 1004  git pull origin master
 1005  git branch -a
 1006  git checkout experimental
 1007  git pull
 1008  git pull origin experimental
 1009  git pull
 1010  vim .git/config 
 1011  git gui
 1012  git branch -a
 1013  wget https://raw.github.com/github/gitignore/master/C.gitignore
 1014  vim .gitignore
 1015  git status
 1016  git add .gitignore 
 1017  git status
 1018  git commit -m 'add gitignore'
 1020  git branch -a
 1021  git checkout experimental
 1023  git push
 1024  git checkout experimental
 1025  git log
 1026  git log master
 1027  git log --graph
 1028  git merge master
 1029  git log
 1030  git log --color --graph
 1031  gitk
 1032  git checkout -t master
 1033  git checkout -t -b master
 1034  git branch --set-upstream master origin/master
 1035  git branch --set-upstream experimental origin/experimental
 1036  git branch
 1037  git pull
 1038  git branch
 1039  git checkout master
 1040  git status
 1044  git add .gitignore 
 1045  git status | more 
 1046  git commit  -m " ignoring TEST directories "
 1047  vi .gitignore 
 1049  git status
 1050  git add .gitignore 
 1051  git commit  -m " ignoring installation directories "
 1052  git push
 1053  git checkout experimental
 1054  git log master
 1055  git cherry-pick d4d9713622a
 1056  ls
 1057  git status
 1058  vim .gitignore
 1059  git add .gitignore
 1060  git commit -c d4d9713622a
 1061  gitk
 1062  git checkout master
 1063  gitk
 1064  git diff experimental master
 1065  git diff experimental  experimental 
 1066  git diff experimental  ^experimental 
 1067  git diff HEAD ^HEAD
 1068  git help diff
 1069  cd .git
 1071  ls --color
 1072  cd refs
 1073  ls
 1074  ls heads
 1075  cd heads
 1076  ls
 1077  file *
 1078  cat master
 1079  cd ../
 1080  ls
 1081  cd remotes
 1082  ls
 1083  cat origin
 1084  cat origin/master 
 1085  cd ..
 1086  ls
 1087  cd ..
 1088  ls
 1089  cd objects/
 1090  ls
 1091  ls --color
 1092  cd d4/
 1093  ls
 1094  file d9713622a7385ec97e51a6dbb25bb814eb8e6f 
 1095  cd ..
 1096  cd ..
 1097  ls
 1098  cat COMMIT_EDITMSG
 1099  ls
 1100  cat config 
 1101  cd ..
 1102  git config --global user.name "Alessandro Mirone"
 1103  gitk
 1104  git status
 1105  history > lesson_thomas.txt
