Log Message: |
release.py: Automatically add to dist/ a current KEYS file with each release.
In particular, this means versioned KEYS files will be archived to
archive.a.o/dist/, and will continue to contain keys after those have
been removed from a committer's id.a.o profile.
* tools/dist/release.py
(download_file): Make checksum verification opt-outable.
(roll_tarballs): Download the KEYS file to the target directory.
Rely on TLS for authenticity and integrity of the downloaded
file (as we already do for authenticity and integrity of the subsequent
commit operation).
* tools/dist/templates/download.ezt,
* tools/dist/templates/rc-release-ann.ezt,
* tools/dist/templates/stable-release-ann.ezt:
Link to the per-release KEYS file.
|