Git

Tutorial

Setup github keys on Daint (CSCS) to interact with github easily: Adding a new SSH key to your GitHub account - GitHub Docs

Common commands

git push

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