From ec7cf6aaf2fce8af943ccdd866e98f805f8a98fe Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Fri, 6 Jan 2017 20:23:20 +0000 Subject: dgit-badcommit-fixup: Instructions comment Signed-off-by: Ian Jackson --- dgit-badcommit-fixup | 13 +++++++++++++ 1 file changed, 13 insertions(+) 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; -- cgit v1.2.3