[HTTPS-Everywhere] Torproject: exclude deb.torproject.org

[Stephen Gildea]

The site deb.torproject.org appears to be an external repository that
doesn't support HTTPS.  This patch to 0.2.2.development.3 handles them:


--- chrome/content/rules/Torproject.xml-0.2.2.development.3	2010-07-09 18:35:34
+++ chrome/content/rules/Torproject.xml	2010-07-31 21:21:23
@@ -1,6 +1,7 @@
 <ruleset name="Torproject">
   <exclusion pattern="^http://metrics\.torproject\.org"/>
   <exclusion pattern="^http://archive\.torproject\.org"/>
+  <exclusion pattern="^http://deb\.torproject\.org"/>
   <rule from="^http://torproject\.org" to="https://torproject.org"/>
   <rule from="^http://([^/:@]*)\.torproject\.org" to="https://$1.torproject.org"/>
 </ruleset>