Learn more about these different git repos.
Other Git URLs
5c9d28d
fix up some issues with --no-dvd and --workbasedir