Make SourcesManager ignore some global git configs

As discussed in #1949