@bes There's a public access key in the repository that allows read access.  I'm not actually sure how git.gnu.io has it set up to allow access without it, because the standard gitlab config is to use a public access key.

(If anyone knows, though feel free to let me know, because anon access is easier than a public access key.)

A PuTTY version of the public access key is here: https://git.postactiv.com/postActiv/postActiv/blob/master/pa-public-access.ppk

For OpenSSH, just cut out the private-lines at the end and put them into the appropriate header/footer