Add git config to specify default meaning of push