minor change, trying to tweak git configs