Also merged now. Thanks!

On 03/30/2014 08:06 PM, Paul Wise wrote:
> ---
>  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>
> 


-- 
Yan Zhu  <[email protected]>
Staff Technologist
Electronic Frontier Foundation                  https://www.eff.org
815 Eddy Street, San Francisco, CA  94109       +1 415 436 9333 x134

Attachment: signature.asc
Description: OpenPGP digital signature

Reply via email to