log refs files
git clone https://phc-seminar-git.suzanne.soy//phc-seminar.git
faster clone:
curl https://phc-seminar-git.suzanne.soy/phc-seminar.git.bundle -o phc-seminar.git.bundle && git clone phc-seminar.git.bundle phc-seminar