Added the new gitconfig push option that's present in 1.7.11+