Add push.default option for git 1.8