git: use push.default = current for mixed 1.7 and 1.8