Question is: where do I init the git repo on my local disk? In the vault dir or one level up at the workspace level?