X-Git-Url: https://scripts.mit.edu/gitweb/wizard.git/blobdiff_plain/8cda195cdbf9cc5f17c195a7f98167e3e9c4657b..f44a2198d46f2262bd24af3491ad2b0d73e2d518:/TODO

diff --git a/TODO b/TODO
index 7cf8c5b..962ef75 100644
--- a/TODO
+++ b/TODO
@@ -265,8 +265,11 @@ OVERALL PLAN:
        perform a configuration in the production environment to extract
        out the canonical configuration files.
 
-   12. On the production server, call your wizard to perform an installation.
-       Inspect the generated configuration files, and implement:
+   12. On the production server, call your wizard to perform an installation;
+       be sure to use the option --no-commit in order to make propagating changes
+       back easier.  Inspect the generated configuration files (you can use `git
+       status` to find unversioned files that the installer created), and
+       implement:
             - extractors
             - substitutions
                 These are dictionaries of functions that perform extraction
@@ -298,7 +301,8 @@ OVERALL PLAN:
         script was buggy; try again.
 
     14. The current changes in the working copy should be merged in.  Add any new
-        files, and then `git commit --amend`.
+        files, and then `git commit --amend`.  `git push --force` to stick these
+        changes back in the "public" repository.
 
     15. In your local copy, you can pull the changes by doing `git reset --hard HEAD~`
         and then a `git pull` from the relevant source.  Otherwise, Git will complain