X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=dgit.git;a=blobdiff_plain;f=dgit-badcommit-fixup;h=d1bca74dc23f245e2d4b88dec1455df1400bbb55;hp=32d5f0b1d3178004b05b4dbf25f92ee6b801b089;hb=ec7cf6aaf2fce8af943ccdd866e98f805f8a98fe;hpb=a5ab9e488522b8fb74a6eadc4a7acf9199e782c4

diff --git a/dgit-badcommit-fixup b/dgit-badcommit-fixup
index 32d5f0b1..d1bca74d 100755
--- a/dgit-badcommit-fixup
+++ b/dgit-badcommit-fixup
@@ -6,6 +6,19 @@
 #   dgit-badcommit-fixup --test
 #   dgit-badcommit-fixup --real
 
+# Update procedure, from server operator's point of view:
+#
+# 1. Test in an offline tree that this DTRT
+#
+# 2. Announce a transition time.  Tell everyone that between
+#    the transition time and their next upload, they must
+#    run this script.
+#
+# 3. At the transition time, run this script in every repo.
+#
+# 4. Run the mirror script to push changes, if necessary.
+
+
 use strict;
 
 use POSIX;