chiark / gitweb /
dgit-badcommit-fixup: Instructions comment
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 6 Jan 2017 20:23:20 +0000 (20:23 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 6 Jan 2017 20:23:20 +0000 (20:23 +0000)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
dgit-badcommit-fixup

index 32d5f0b..d1bca74 100755 (executable)
@@ -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;