diff options
| author | Brandon Williams <bmwill@google.com> | 2017-10-16 17:55:24 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-10-17 01:51:29 (GMT) |
| commit | 373d70efb2278b76739d8c6538d4a4e59cc81bf7 (patch) | |
| tree | 10c0e049cdd268c854253ca60bcb0d8da82ba1e2 /Documentation/config.txt | |
| parent | 5d2124b34a11967b56bfeb57556be5e4583172c8 (diff) | |
| download | git-373d70efb2278b76739d8c6538d4a4e59cc81bf7.zip git-373d70efb2278b76739d8c6538d4a4e59cc81bf7.tar.gz git-373d70efb2278b76739d8c6538d4a4e59cc81bf7.tar.bz2 | |
protocol: introduce protocol extension mechanisms
Create protocol.{c,h} and provide functions which future servers and
clients can use to determine which protocol to use or is being used.
Also introduce the 'GIT_PROTOCOL' environment variable which will be
used to communicate a colon separated list of keys with optional values
to a server. Unknown keys and values must be tolerated. This mechanism
is used to communicate which version of the wire protocol a client would
like to use with a server.
Signed-off-by: Brandon Williams <bmwill@google.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/config.txt')
| -rw-r--r-- | Documentation/config.txt | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/Documentation/config.txt b/Documentation/config.txt index dc4e3f5..b78747a 100644 --- a/Documentation/config.txt +++ b/Documentation/config.txt @@ -2517,6 +2517,23 @@ The protocol names currently used by git are: `hg` to allow the `git-remote-hg` helper) -- +protocol.version:: + Experimental. If set, clients will attempt to communicate with a + server using the specified protocol version. If unset, no + attempt will be made by the client to communicate using a + particular protocol version, this results in protocol version 0 + being used. + Supported versions: ++ +-- + +* `0` - the original wire protocol. + +* `1` - the original wire protocol with the addition of a version string + in the initial response from the server. + +-- + pull.ff:: By default, Git does not create an extra merge commit when merging a commit that is a descendant of the current commit. Instead, the |