First, clone this as bare git repo
git clone --bare https://github.com/robin-thoene/dotfiles.git $HOME/dev/robin-thoene/dotfiles
Setup 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 no
Checkout the main branch
dotfiles checkout