[$HOME/.config/vcsh/repo.d/mr.git]
checkout = vcsh clone git://source.jones.dk/vcsh