Learn more about these different git repos.
Other Git URLs
c11edb7
Fix the Settings page for when issues are globally disabled