receive-pack: implement advertising and receiving push options
commitc714e45f87301562b940e3621431ed7f7fbd16e5
authorStefan Beller <sbeller@google.com>
Thu, 14 Jul 2016 21:49:46 +0000 (14 14:49 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 14 Jul 2016 22:50:40 +0000 (14 15:50 -0700)
treedf0a4693d25514763b3f91dbaaa651c29f244627
parent77a9745d19b2b308c1ce97d18053322d1471bc4c
receive-pack: implement advertising and receiving push options

The pre/post receive hook may be interested in more information from the
user. This information can be transmitted when both client and server
support the "push-options" capability, which when used is a phase directly
after update commands ended by a flush pkt.

Similar to the atomic option, the server capability can be disabled via
the `receive.advertisePushOptions` config variable. While documenting
this, fix a nit in the `receive.advertiseAtomic` wording.

Signed-off-by: Stefan Beller <sbeller@google.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/config.txt
Documentation/technical/pack-protocol.txt
Documentation/technical/protocol-capabilities.txt
builtin/receive-pack.c