Learn more about these different git repos.
Other Git URLs
62f66bb
Make the list of extra non-file-listed files configurable.