Re: grepping the archives (was: Re: ERRNO is unset until set)

["Daniel Shahaf" <d.s@daniel.shahaf.name>]

Daniel Shahaf wrote on Fri, 29 Apr 2022 17:13 +00:00:
> Or you could ask -infra@ for SSH access to the host, and then access the
> archives that way.  That's how I found 32157 for my other reply (using
> «cd ${RSYNC_ROOT_DIR}/zsh-workers && mutt -f =(for 1 in <315-323>xx.tgz
> ; tar -O - -xf $1)» and search therein).  We'll need a preferred username and
> a key we can trust (i.e., PGP sign it using a key we already know to be
> yours, or upload it to sourceforge, etc.).

For avoidance of doubt:

s/^a key/an SSH public key/

Cheers,

Daniel