Git

Tutorial

Add SSH key to github account

To be done from Daint (CSCS): Adding a new SSH key to your GitHub account - GitHub Docs

Common commands

git push

git add . git commit -m "commitname" got push origin