<!--
|
|
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>
|