dotfiles The dotfiles are uploaded using a bare git repository. I followed this tutorial to set it up