Re: Push Certificates: Privacy Concerns Regarding the "pushee" Header

[Junio C Hamano <gitster@pobox.com>]

Lorenz Leutgeb <lorenz.leutgeb@posteo.eu> writes:

> Now, in the context of the application, the global identifier of the 
> repository across the network, and thus the pushee that I would like to 
> see, is `example://foo`.  The path `home/lorenz.example/storage/foo` is 
> merely a local name for it, like a cached copy if you will.

"The repo appears as X to me, but it is known as Y to others" is an
issue that already exists.  "git pull" records from which repository
the changes were merged but it uses the repository from the point of
the view of the user who ran "git pull", for example.  While one of
my public repositories are known as https://github.com/gitster/git",
the URL I use to push there may be "git@github.com:gitster/git.git",
so if they were recording push certificates, the latter would be the
pushee in them, but that is not a URL random people can normally use
to clone from.