Modules

Fix your .git/config after a repository-name case change