gitconfig: push = matching