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