Learn more about these different git repos.
Other Git URLs
4838814
[Vagrantfile] remove unneeded stuff