Julian Foad wrote on Mon, 30 Sep 2019 16:34 +00:00: > Nothing happened there. > > I have now manually added a copy > of https://people.apache.org/keys/group/subversion.asc > to https://www.apache.org/dist/subversion/KEYS > via https://dist.apache.org/repos/dist/release/subversion/KEYS (r36130) > and updated our download page to point to it (r1867780).
Thanks. However, I still wonder why we shouldn't have this command run automatically — . curl -sSf https://people.apache.org/keys/group/subversion.asc | svnmucc -U https://dist.apache.org/repos/dist/ put /dev/stdin dev/subversion/subversion-1.13.0-rc1.KEYS . — and be done with it for good. It could be run from release.py, for example.