First, clone this as bare git repo
git clone --bare https://github.com/robin-thoene/dotfiles.git $HOME/dev/robin-thoene/dotfilesSetup the alias manually once to checkout the dotfiles for the first time
alias dotfiles='/usr/bin/git --git-dir=$HOME/dev/robin-thoene/dotfiles --work-tree=$HOME'Ensure that untracked files ignored
dotfiles config --local status.showUntrackedFiles noCheckout the main branch
dotfiles checkout