Merged and added github.io as target host (note that this isn't covered by *.github.io). Thanks!
-Yan On 03/15/2014 10:13 PM, Paul Wise wrote: > --- > 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> >
signature.asc
Description: OpenPGP digital signature
