Some hints on github

1) Whenever you edit subroutines and other files, and if you desire that your changes do not get lost, prepare a commit file.

• ) In order to set the proper layout for the commit: ./sbin/git_configure_and_hooks.sh
• ) Then type: git commit -a
• ) Edit the file accordingly, pointing out your most important changes.

2) Git push, is the command to save a record of your work.

3) Before starting working on your own code/branch please type: git pull, to ensure that your work will be later merged to the updated version of the code.

4) If you are interested in comparing your last downloaded version of the branch with a previous one, type git log | less → you will have a list of modified files and identify the “long alphanumerical string” on the right of the word commit. git diff “long alphanumerical string” > a → It is better to redirect the outcome to a file called here “a”