Merge branch 'tb/push-simple-uses-branch-merge-config'
authorJunio C Hamano <gitster@pobox.com>
Wed, 24 Mar 2021 21:36:27 +0000 (14:36 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 24 Mar 2021 21:36:27 +0000 (14:36 -0700)
commitc6617d1e4f462405e6e237a21026c1cf3b557ec0
treefaa84a38ceef6a6fbc8fa711ca872c369e827109
parent142430338477d9d1bb25be66267225fb58498d92
parent4c8e3dca6eab37c8149160d54a845439d33ce391
Merge branch 'tb/push-simple-uses-branch-merge-config'

Doc update.

* tb/push-simple-uses-branch-merge-config:
  Documentation/git-push.txt: correct configuration typo