What stopped working at a point is the generation of the project
keyring (the above GPG key for all project members),Ah. Somehow I thought that project keyring was the keys from ftp.gnu.org, not the keys from savannah. So there was never any FSF-side-initiated process which pushed the upload keys from ftp.gnu.org to somewhere on savannah? Thanks, karl
