diff options
| author | Simon Tatham <anakin@pobox.com> | 2017-02-21 21:36:29 +0300 |
|---|---|---|
| committer | Simon Tatham <anakin@pobox.com> | 2017-02-21 21:42:42 +0300 |
| commit | 0415af2ee7154de8d8ffa2828ff8faf69e8780dc (patch) | |
| tree | 3e442f46bd5d7f70528ea2255168e9bf307b806f /CHECKLST.txt | |
| parent | 359b5c8eb45ff56c62032cf147fcdb3723d54324 (diff) | |
Release-procedure stuff: remove outdated hostname 'atreus'.
The main tartarus.org host has changed since the last release, so we
now have to upload things to somewhere different. Updated the release
automation in release.pl, and all the mentions of atreus in the manual
checklist too.
Diffstat (limited to 'CHECKLST.txt')
| -rw-r--r-- | CHECKLST.txt | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/CHECKLST.txt b/CHECKLST.txt index 6d3cbee5..775af651 100644 --- a/CHECKLST.txt +++ b/CHECKLST.txt @@ -74,7 +74,7 @@ for it: - Write a release announcement (basically a summary of the changes since the last release). Squirrel it away in - atreus:src/putty-local/announce-<ver> in case it's needed again + thyestes:src/putty-local/announce-<ver> in case it's needed again within days of the release going out. - Update the website, in a local checkout: @@ -159,12 +159,12 @@ locally, this is the procedure for putting it up on the web. git push origin --tags # should push the new release tag git push origin :pre-X.YZ # delete the pre-release branch - - Run ~/adm/puttyweb.sh on atreus to update the website after all + - Run ~/adm/puttyweb.sh on thyestes to update the website after all those git pushes. - - Check that the unpublished website on atreus looks sensible. + - Check that the unpublished website on thyestes looks sensible. - - Run webupdate, so that all the changes on atreus propagate to + - Run webupdate, so that all the changes on thyestes propagate to chiark. Important to do this _before_ announcing that the release is available. |