Documentation: push.default applies to all remotes