summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2017-01-06 20:23:20 +0000
committerIan Jackson <ijackson@chiark.greenend.org.uk>2017-01-06 20:23:20 +0000
commitec7cf6aaf2fce8af943ccdd866e98f805f8a98fe (patch)
tree7da3a2d50cb1bd1bcce1ace8c2d5a7f873ca1682
parenta5ab9e488522b8fb74a6eadc4a7acf9199e782c4 (diff)
dgit-badcommit-fixup: Instructions comment
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
-rwxr-xr-xdgit-badcommit-fixup13
1 files changed, 13 insertions, 0 deletions
diff --git a/dgit-badcommit-fixup b/dgit-badcommit-fixup
index 32d5f0b..d1bca74 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;