[HTTPS-E Rulesets] [PATCH] Add githubusercontent.com to the Github rules
Paul Wise
pabs3 at bonedaddy.net
Sun Mar 30 20:06:29 PDT 2014
---
src/chrome/content/rules/Github.xml | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/src/chrome/content/rules/Github.xml b/src/chrome/content/rules/Github.xml
index be2a936..f8ec76b 100644
--- a/src/chrome/content/rules/Github.xml
+++ b/src/chrome/content/rules/Github.xml
@@ -56,6 +56,8 @@
- github.io
+ - githubusercontent.com
+
-->
<ruleset name="GitHub">
@@ -63,6 +65,7 @@
<target host="*.github.com" />
<target host="github.io" />
<target host="*.github.io" />
+ <target host="*.githubusercontent.com" />
<target host="collector.githubapp.com" />
@@ -89,4 +92,7 @@
<rule from="^http://([^/@:\.]+)\.github\.io/"
to="https://$1.github.io/" />
+ <rule from="^http://([^/@:\.]+)\.githubusercontent\.com/"
+ to="https://$1.githubusercontent.com/" />
+
</ruleset>
--
1.9.1
More information about the HTTPS-Everywhere-Rules
mailing list