Command line instructions

Git global setup

git config --global user.name "user"

git config --global user.email "user@bsse.ethz.ch"

Create a new repository

git clone git@git.bsse.ethz.ch:hima_public/HDsort.git