https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/ISIS.xml

<ruleset name="ISIS">
  <target host="isis.poly.edu" />

  <rule from="^http://isis\.poly\.edu/" to="https://isis.poly.edu/"/>
</ruleset>