[HTTPS-E Rulesets] [https-everywhere] [PATCH] Add github.io to the Github rules
Paul Wise
pabs3 at bonedaddy.net
Sat Mar 15 22:13:45 PDT 2014
---
src/chrome/content/rules/Github.xml | 9 +++++++++
1 file changed, 9 insertions(+)
diff --git a/src/chrome/content/rules/Github.xml b/src/chrome/content/rules/Github.xml
index f938d9f..507e352 100644
--- a/src/chrome/content/rules/Github.xml
+++ b/src/chrome/content/rules/Github.xml
@@ -55,11 +55,14 @@
- collector.githubapp.com
+ - github.io
+
-->
<ruleset name="GitHub">
<target host="github.com" />
<target host="*.github.com" />
+ <target host="*.github.io" />
<target host="collector.githubapp.com" />
@@ -80,4 +83,10 @@
<rule from="^http://collector\.githubapp\.com/"
to="https://collector.githubapp.com/" />
+ <rule from="^https?://github\.io/"
+ to="https://pages.github.com/" />
+
+ <rule from="^http://([^/@:\.]+)\.github\.io/"
+ to="https://$1.github.io/" />
+
</ruleset>
--
1.9.0
More information about the HTTPS-Everywhere-Rules
mailing list