diff options
authorintrigeri <>2019-02-13 16:30:14 +0000
committerintrigeri <>2019-02-13 16:30:14 +0000
commitbdb8428782fcf049b3247bf8af5d8121562ca165 (patch)
parent12a55ab1062b8bb3e7377a0c7db2a67d93b4e2bd (diff)
Release process: don't suggest we can delete files directly from the mirrors.
The best we can do is remove them from our rsync server.
1 files changed, 1 insertions, 1 deletions
diff --git a/wiki/src/contribute/release_process.mdwn b/wiki/src/contribute/release_process.mdwn
index 6b50149..39f37e4 100644
--- a/wiki/src/contribute/release_process.mdwn
+++ b/wiki/src/contribute/release_process.mdwn
@@ -1420,7 +1420,7 @@ this, and skip what does not make sense for a RC.
delete it with
`ssh bittorrent.lizard transmission-remote -t "${PREVIOUS_VERSION_TRANSMISSION_ID:?}" --remove-and-delete`
1. Remove any remaining RC for the just-published release from
- the mirrors.
+ `rsync.lizard:/srv/rsync/tails/tails/alpha/`
1. Remove IUKs that are more than 9 months old from
`/{stable,alpha}/iuk` on the rsync server:
- first check that it's not going to remove anything we want to keep: