Re: [PATCHv2] push options: pass push options to the transport helper

2017-02-10 Thread Stefan Beller
On Thu, Feb 9, 2017 at 5:56 PM, Jonathan Nieder wrote: > Private reply because using HTML mail on phone: So I presume putting it back on the list is fine. > Does this need to be a remote helper capability? No, as all other capabilities of the git-protocol are mapped 1:1 to the transport helper

[PATCHv2] push options: pass push options to the transport helper

2017-02-08 Thread Stefan Beller
When using non-builtin protocols relying on a transport helper (such as http), push options are not propagated to the helper. The user could ask for push options and a push would seemingly succeed, but the push options would never be transported to the server, misleading the users expectation. Fi