diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-06 20:23:20 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-06 20:23:20 +0000 |
commit | ec7cf6aaf2fce8af943ccdd866e98f805f8a98fe (patch) | |
tree | 7da3a2d50cb1bd1bcce1ace8c2d5a7f873ca1682 | |
parent | a5ab9e488522b8fb74a6eadc4a7acf9199e782c4 (diff) |
dgit-badcommit-fixup: Instructions comment
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
-rwxr-xr-x | dgit-badcommit-fixup | 13 |
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; |