use the http dotfiles repository