https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/GNOME.xml
<!--
Nonfunctional:
- gnome.asia (cert: guzheng.lyrical.net; shows empty tree)
- 2012.gnome.asia (ditto)
- www.gnome.asia (ditto)
- gnomejournal.org (cert: rt.gnome.org, expired, shows that domain's data)
- gnome.org subdomains:
- art (cert: www, expired; 404)
- blogs
- developer (cert: rt, expired)
- foundation (cert: www; shows www's data)
- git
- ldap (cert: live; shows live's data)
- label (ditto)
- library (cert: rt, expired; shows rt's data)
- menubar (cert: mail, shows mail's data)
- news (cert: rt, expired; shows rt's data)
- people (cert: www, expired; 404)
- planet (cert: rt, expired; shows rt's data)
- projects (cert: www, expired; 404)
- webstats (cert: live, shows live's data)
- vote (cert: rt, expired; shows rt's data)
- usability (ditto)
- webapps (ditto)
- www-old (cert: www, expired; 404)
-->
<ruleset name="GNOME (partial)" platform="mixedcontent">
<target host="gnome.org" />
<target host="*.gnome.org" />
<!-- projects/: 404, redirects to projects.gnome.org
~: 404, redirects to people.gnome.org -->
<exclusion pattern="^http://www\.gnome\.org/(projects/|~)" />
<securecookie host="^.*\.gnome\.org$" name=".*" />
<rule from="^http://((?:bugzilla|extensions|mail|mango|live|rt|www)\.)?gnome\.org/"
to="https://$1gnome.org/" />
<!-- Redirects as so over http. -->
<rule from="^https?://foundation\.gnome\.org/"
to="https://www.gnome.org/foundation/" />
<!-- Redirects as so over http. -->
<rule from="^https?://usability\.gnome\.org/"
to="https://live.gnome.org/UsabilityProject" />
</ruleset>