[HTTPS-E Rulesets] [PATCH] sources.debian.net now has an SSL cert

[The Wanderer]

On 12/23/2014 at 07:46 PM, Paul Wise wrote:

> https://bugs.debian.org/772560
> ---
>  src/chrome/content/rules/Debian.xml | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/src/chrome/content/rules/Debian.xml b/src/chrome/content/rules/Debian.xml
> index 6bc10b1..b7b844d 100644
> --- a/src/chrome/content/rules/Debian.xml
> +++ b/src/chrome/content/rules/Debian.xml
> @@ -98,7 +98,7 @@
>  	<rule from="^http://security\.debian\.org/+(?=$|\?)"
>  		to="https://www.debian.org/security/" />
>  
> -	<rule from="^http://(france|paste|screenshots)\.debian\.net/"
> +	<rule from="^http://(france|paste|screenshots|source)\.debian\.net/"

The Subject says "sources", but this (and the subsequent codesearch
patch) say "source".

On my end, a quick DNS lookup gets a result for 'sources.debian.net',
but 'source.debian.net' returns NXDOMAIN.

Is there some subtlety I'm missing, or do these patches need to be
corrected?

-- 
   The Wanderer

The reasonable man adapts himself to the world; the unreasonable one
persists in trying to adapt the world to himself. Therefore all
progress depends on the unreasonable man.         -- George Bernard Shaw

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
URL: <https://lists.eff.org/pipermail/https-everywhere-rules/attachments/20141223/23d3fe99/attachment.sig>