Rearrange the git configuration slightly: