alias dotfiles='git --git-dir=$HOME/.dotfiles --work-tree=$HOME'
git clone --bare gitolite3@example.com:dotfiles $HOME/.dotfiles git --git-dir=$HOME/.dotfiles --work-tree=$HOME config status.showUntrackedFiles no git --git-dir=$HOME/.dotfiles --work-tree=$HOME reset --hard