diff options
| author | Jonathan Tan <jonathantanmy@google.com> | 2019-04-12 19:51:21 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-04-18 01:53:51 (GMT) |
| commit | 35eb8240b0849b8d2cf675f1bed5d4dbf977372e (patch) | |
| tree | ad404051bab658934ca38baf699986d5bd4b93d6 /gitweb | |
| parent | aeb582a98374c094361cba1bd756dc6307432c42 (diff) | |
| download | git-35eb8240b0849b8d2cf675f1bed5d4dbf977372e.zip git-35eb8240b0849b8d2cf675f1bed5d4dbf977372e.tar.gz git-35eb8240b0849b8d2cf675f1bed5d4dbf977372e.tar.bz2 | |
transport: die if server options are unsupported
Server options were added in commit 5e3548ef16 ("fetch: send server
options when using protocol v2", 2018-04-24), supported only for
protocol version 2. But if the user specifies server options, and the
protocol version being used doesn't support them, the server options are
silently ignored.
Teach any transport users to die instead in this situation, just like
how "push" dies if push options are provided when the server doesn't
support them.
Signed-off-by: Jonathan Tan <jonathantanmy@google.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'gitweb')
0 files changed, 0 insertions, 0 deletions