Some hints on github

1) The easiest way to switch branch on Git is : git checkout <desired_branch> 2) Before starting working on your own code/branch type git pull, to ensure that your work will be later merged to the updated version of the code.

3) 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 type ./sbin/git_configure_and_hooks.sh
• ) Then type: git commit -a
• ) Edit the file accordingly, pointing out your most important changes.

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

5) 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”