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: https://git.lorimer.id.au/gitweb.git/diff_plain/c692fe2c1e3b0104c5573e2ec3ae62ba2711c4e6?hp=-c

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
diff --combined Documentation/config.txt
index 5642defb8c,78ded635f2..5f0d62753d
--- a/Documentation/config.txt
+++ b/Documentation/config.txt
@@@ -351,9 -351,6 +351,9 @@@ advice.*:
  	addEmbeddedRepo::
  		Advice on what to do when you've accidentally added one
  		git repo inside of another.
 +	ignoredHook::
 +		Advice shown if an hook is ignored because the hook is not
 +		set as executable.
  --
  
  core.fileMode::
@@@ -2624,6 -2621,35 +2624,35 @@@ push.gpgSign:
  	override a value from a lower-priority config file. An explicit
  	command-line flag always overrides this config option.
  
+ push.pushOption::
+ 	When no `--push-option=<option>` argument is given from the
+ 	command line, `git push` behaves as if each <value> of
+ 	this variable is given as `--push-option=<value>`.
+ +
+ This is a multi-valued variable, and an empty value can be used in a
+ higher priority configuration file (e.g. `.git/config` in a
+ repository) to clear the values inherited from a lower priority
+ configuration files (e.g. `$HOME/.gitconfig`).
+ +
+ --
+ 
+ Example:
+ 
+ /etc/gitconfig
+   push.pushoption = a
+   push.pushoption = b
+ 
+ ~/.gitconfig
+   push.pushoption = c
+ 
+ repo/.git/config
+   push.pushoption =
+   push.pushoption = b
+ 
+ This will result in only b (a and c are cleared).
+ 
+ --
+ 
  push.recurseSubmodules::
  	Make sure all submodule commits used by the revisions to be pushed
  	are available on a remote-tracking branch. If the value is 'check'