diff options
Diffstat (limited to 'dgit-badcommit-fixup')
-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; |