TODO change https to git in dotfiles/.git/config