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

<ruleset name="MIN_Commsy" platform="mixedcontent">
  <target host="www.mincommsy.uni-hamburg.de"/>
  <target host="mincommsy.uni-hamburg.de"/>
  <rule from="^http://(?:www\.)?mincommsy\.uni-hamburg\.de/" to="https://www.mincommsy.uni-hamburg.de/"/>
</ruleset>