diff options
Diffstat (limited to 'searx/plugins/https_rules/Github-Pages.xml')
| -rw-r--r-- | searx/plugins/https_rules/Github-Pages.xml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/searx/plugins/https_rules/Github-Pages.xml b/searx/plugins/https_rules/Github-Pages.xml new file mode 100644 index 0000000..d3be58a --- /dev/null +++ b/searx/plugins/https_rules/Github-Pages.xml @@ -0,0 +1,11 @@ +<!-- + 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> |