Fix type error in MediaWiki error reporting.

[wizard.git] / TODO

diff --git a/TODO b/TODO
index f27087b55c662c45b20b851f9cafa8985656649c..adea7d3fa46b1a6eca8f9e0ae18c785f910c32be 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,6 +1,9 @@
 - Make scripts_plugin email heuristic less stupid, or maybe even ask for an
   email. This is tracked as Scripts #224 (this issue) and Scripts #193
   (tracking a contact address).
+- Current parallelization probably does a bad job distributing
+  working tasks over different components of the pipeline. Fix
+  this by adding jitter? Trying to smear things out?
 
 - Test head doesn't do quite the right thing with version numbers
   (shouldn't git describe, instead should give a version infinitely
@@ -40,7 +43,7 @@
 - [SCRIPTS] MediaWiki 1.6.7, 1.9.3 and 1.10.0
 
 - geofft comments:
-    "Connection to scripts.mit.edu closed" is confusing
+    "Connection to scripts.mit.edu closed" is confusing (tracked #393)
     the URL should be easier to copy and paste, which means we should
       move it out of dialog
     We should ... upgrade our autoinstaller