X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=blobdiff_plain;f=dgit-badcommit-fixup;h=a761eb36e81a1cfd62f72c3d577780495d360425;hb=0755bc4840ed72bf4f7aa5595be92f88cb655559;hp=32d5f0b1d3178004b05b4dbf25f92ee6b801b089;hpb=30285c0d7edaeb05605ff620f8d8d6d09d91f5c2;p=dgit.git

diff --git a/dgit-badcommit-fixup b/dgit-badcommit-fixup
index 32d5f0b1..a761eb36 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;
@@ -213,6 +226,7 @@ foreach my $rline (split /\n/, $refs) {
 	$org_rewrite_map = $obj;
 	continue;
     }
+    next if $refname =~ m{^refs/dgit-(?:badcommit|badfixuptest)/};
     my $rewrite;
     if ($type eq 'commit') {
 	$rewrite = rewrite_commit($obj);