git: Add push.default global option