Learn more about these different git repos.
Other Git URLs
5787d7e
submit-d: rename a few variables for readability Rename a couple of variables to help make their roles easier for readers and maintainers.