Learn more about these different git repos.
Other Git URLs
5098737
drop setting of produce_sources=False where we can