That sounds fine, there's also a "vault add" comma...
# questions
s
That sounds fine, there's also a "vault add" command that can add remote vaults (git repos) and a vault remove command that can delete the default one. They basically do what you have done already though, so you should be good. Do ask for help if you hit any issues and we'll help figure it out.