diff options
author | Stefan Beller <sbeller@google.com> | 2016-07-15 00:49:46 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-07-15 01:50:40 +0300 |
commit | c714e45f87301562b940e3621431ed7f7fbd16e5 (patch) | |
tree | df0a4693d25514763b3f91dbaaa651c29f244627 /pack-write.c | |
parent | 77a9745d19b2b308c1ce97d18053322d1471bc4c (diff) |
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>
Diffstat (limited to 'pack-write.c')
0 files changed, 0 insertions, 0 deletions