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