summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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;