diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2014-08-22 18:15:24 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2014-09-15 13:23:28 -0700 |
| commit | 9be89160e7382a88e56a02bcf38f4694dd6542d6 (patch) | |
| tree | d321807664e8398eb5c99c1dc7a08cccdfd82c77 /Documentation/config.txt | |
| parent | signed push: remove duplicated protocol info (diff) | |
| download | tgif-9be89160e7382a88e56a02bcf38f4694dd6542d6.tar.xz | |
signed push: add "pushee" header to push certificate
Record the URL of the intended recipient for a push (after
anonymizing it if it has authentication material) on a new "pushee
URL" header. Because the networking configuration (SSH-tunnels,
proxies, etc.) on the pushing user's side varies, the receiving
repository may not know the single canonical URL all the pushing
users would refer it as (besides, many sites allow pushing over
ssh://host/path and https://host/path protocols to the same
repository but with different local part of the path). So this
value may not be reliably used for replay-attack prevention
purposes, but this will still serve as a human readable hint to
identify the repository the certificate refers to.
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/config.txt')
0 files changed, 0 insertions, 0 deletions