Fixup repo name for dotfiles