Learn more about these different git repos.
Other Git URLs
ca1eda4
Make sure we keep the old file lists around.