Update TODO.

[wizard.git] / README

diff --git a/README b/README
index d411e9d86353002d534573227c4b7011796bf9db..dc4b28a4e14db7aa86ac10c643da37c84d98d9cf 100644 (file)
--- a/README
+++ b/README
@@ -80,6 +80,10 @@ Design decisions
   if we continued going, we will keep going, and let the maintainer
   deal later on with the errors en masse.
 
   if we continued going, we will keep going, and let the maintainer
   deal later on with the errors en masse.
 

+  If the error is due to an error in our toolchain (and thus
+  many installs can be fixed by fixing our end), we want to
+  be able to re-run the mass tool with minimal fuss.
+

 - We use the Google Python style guide.  See:
     http://code.google.com/p/soc/wiki/PythonStyleGuide
   However, we use 4-space indents, not 2-space indents.
 - We use the Google Python style guide.  See:
     http://code.google.com/p/soc/wiki/PythonStyleGuide
   However, we use 4-space indents, not 2-space indents.