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.

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.
 

diff --git a/release.pl b/release.pl
index e903bf7da04a6b0971cf67cb475b0676633d6ea6..cf73d9eb48f3df9b5f37afb93b3e0c1037f2149e 100755 (executable)
--- a/release.pl
+++ b/release.pl
@@ -72,12 +72,12 @@ if ($upload) {
     -d "putty" or die "no putty directory in cwd";
 
     0 == system("rsync", "-av", "maps/",
-                "atreus:src/putty-local/maps-$version")
+                "thyestes:src/putty-local/maps-$version")
         or die "could not upload link maps";
 
-    for my $location (["atreus", "www/putty/$version"],
-                      ["the",    "www/putty/$version"],
-                      ["chiark", "ftp/putty-$version"]) {
+    for my $location (["thyestes", "www/putty/$version"],
+                      ["the",      "www/putty/$version"],
+                      ["chiark",   "ftp/putty-$version"]) {
         my ($host, $path) = @$location;
         0 == system("rsync", "-av", "putty/", "$host:$path")
             or die "could not upload release to $host";