Re: [PATCH 1/3] docs: correct receive.advertisePushOptions default

2017-05-05 Thread Jonathan Nieder
Jonathan Tan wrote: > In commit c714e45 ("receive-pack: implement advertising and receiving > push options", 2016-07-14), receive-pack was taught to (among other > things) advertise that it understood push options, depending on > configuration. It was documented that it advertised such ability by

Re: [PATCH 1/3] docs: correct receive.advertisePushOptions default

2017-05-05 Thread Stefan Beller
On Fri, May 5, 2017 at 4:50 PM, Brandon Williams wrote: > On 05/05, Jonathan Tan wrote: >> In commit c714e45 ("receive-pack: implement advertising and receiving >> push options", 2016-07-14), receive-pack was taught to (among other >> things) advertise that it understood push options, depending on

Re: [PATCH 1/3] docs: correct receive.advertisePushOptions default

2017-05-05 Thread Brandon Williams
On 05/05, Jonathan Tan wrote: > In commit c714e45 ("receive-pack: implement advertising and receiving > push options", 2016-07-14), receive-pack was taught to (among other > things) advertise that it understood push options, depending on > configuration. It was documented that it advertised such ab

[PATCH 1/3] docs: correct receive.advertisePushOptions default

2017-05-05 Thread Jonathan Tan
In commit c714e45 ("receive-pack: implement advertising and receiving push options", 2016-07-14), receive-pack was taught to (among other things) advertise that it understood push options, depending on configuration. It was documented that it advertised such ability by default; however, it actually