Learn more about these different git repos.
Other Git URLs
b40d7f0
- toggle DISTCHECK_CONFIGURE_FLAGS