searxng/searx/https_rules/Github-Pages.xml
2014-10-15 14:52:27 +02:00

11 lines
207 B
XML

<!--
For other GitHub coverage, see Github.xml.
-->
<ruleset name="GitHub Pages">
<target host="*.github.io" />
<rule from="^http://([^/@:\.]+)\.github\.io/"
to="https://$1.github.io/" />
</ruleset>