diff --git a/DEVEL.md b/DEVEL.md
index 4241231b..ca0590e6 100644
--- a/DEVEL.md
+++ b/DEVEL.md
@@ -112,3 +112,15 @@ Some specific helpful things:
 - prefer `.tar.gz`
 - For GitHub, all snpashots are generated with long commit IDs, so use long
   commit IDs.
+
+## Running a mirror
+
+There are 3 things you need to run a mirror;
+
+1. A tool to perform the mirroring (e.g. `mirror.sh` in this repository); we
+   encourage diversity in this area.
+2. A server on which to host the mirror; this should have HTTP support, and
+   optionally HTTPS. It is of greatly diminished utility if it does not support
+   plain HTTP.
+3. Automatic updates. This should involve updating the Git repository and
+   updating the mirror as required.