I really like that solution, thanks. It also means I can easily move my current git dir to the new place and still have everything work.
Does anyone know if syncing a git repo over Syncthing (or similar) is a good idea or whether there are likely to be conflicts? I don't know if git names its files such that conflicts aren't possible.
https://www.atlassian.com/git/tutorials/dotfiles
TL;DR: