What would work.gitconfig include in this case?