Gitconfig

Cf. #7789 and #7790.