From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 12 Feb 2020 20:41:36 +0000 (-0800)
Subject: Merge branch 'jk/push-default-doc'
X-Git-Tag: v2.26.0-rc0~82
X-Git-Url: http://git.ipfire.org/?p=thirdparty%2Fgit.git;a=commitdiff_plain;h=4cf7f48891d36d9ec3783119ddc1177fa9f0581e

Merge branch 'jk/push-default-doc'

Doc update.

* jk/push-default-doc:
  doc: drop "explicitly given" from push.default description
---

4cf7f48891d36d9ec3783119ddc1177fa9f0581e