Use deprecated push.default=tracking for compatibility with older git