HTTPS-Everywhere-Rulesets/MediaCluster.de.xml
2013-02-13 12:22:20 +01:00

11 lines
472 B
XML

<ruleset name="MediaCluster">
<target host="*.mediacluster.de" />
<target host="mediacluster.de" />
<target host="devserver" />
<exclusion pattern="^http://(preview|server)(\d{1,2})?\.mediacluster\.de/"/>
<rule from="^http://mediacluster\.de/" to="https://www.mediacluster.de/"/>
<rule from="^http://devserver/git" to="https://intern.mediacluster.de/git/"/>
<rule from="^http://([^/:@\.]+)\.mediacluster\.de/" to="https://$1.mediacluster.de/"/>
</ruleset>