Learn more about these different git repos.
Other Git URLs
610ecdd
default value for --lock-file option