Learn more about these different git repos.
Other Git URLs
8da3960
rename parameter/default value - tmpdir to chroot_tmpdir