Learn more about these different git repos.
Other Git URLs
377b9e2
removed a few lines that aren't used for anything