Files
libgit2/include/git2/sys
Russell Sim ecc6f2fb83 push: support push-options
Push options are an optional capability of a git server.  If they are
listed in the servers capabilities, when the client lists push-options
in it's list of capabilities, then the client sends it's list of push
options followed by a flush-pkt.

So, If we have any declared push options, then we will list it as a
client capability, and send the options.

If the request contains push options but the server has no push
options capability, then error.
2022-11-27 00:17:32 +01:00
..
2019-06-26 15:49:37 +02:00
2015-07-27 18:32:55 -06:00
2021-08-29 12:29:23 -04:00
2020-01-24 15:12:56 -06:00
2020-01-24 15:12:56 -06:00
2014-12-19 15:31:49 +01:00
2022-11-27 00:17:32 +01:00