Release-procedure stuff: remove outdated hostname 'atreus'.

[PuTTY.git] / CHECKLST.txt

diff --git a/CHECKLST.txt b/CHECKLST.txt
index 6d3cbee586f45b795c7d3b1121a92653400c8c76..775af65115b9d4f4d6569c2f787b09c692cf808b 100644 (file)
--- 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.