From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 6 Nov 2017 05:24:30 +0000 (+0900)
Subject: Merge branch 'mp/push-pushoption-config'
X-Git-Tag: v2.16.0-rc0~159
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=c692fe2c1e3b0104c5573e2ec3ae62ba2711c4e6;p=thirdparty%2Fgit.git

Merge branch 'mp/push-pushoption-config'

The "--push-option=<string>" option to "git push" now defaults to a
list of strings configured via push.pushOption variable.

* mp/push-pushoption-config:
  builtin/push.c: add push.pushOption config
---

c692fe2c1e3b0104c5573e2ec3ae62ba2711c4e6