gitconfig: adopt git 2.0 behaviour wrt push