[HTTPS-E Rulesets] [https-everywhere] [PATCH] Add github.io to the Github rules

[Paul Wise]

---
 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