Learn more about these different git repos.
Other Git URLs
049e52c
Use the pre-provisioned Vagrant box