[$HOME/.config/vcsh/repo.d/mr.git] checkout = vcsh clone ssh://git.madduck.net/madduck/pub/etc/mr.git