git usage:¶

• get repository
  git clone https://sourceforge.isae.fr/git/nss_adcs

• update
  cd nss_adcs
  git pull origin master

• change branch from master to dev
  git co dev

• how to switch branch in general:
  git checkout <branchname>

• for more details, please refer to:
  https://git-scm.com/docs/gittutorial