https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/University-of-Groningen.xml

<ruleset name="University of Groningen (partial)">

	<target host="rug.nl"/>
	<target host="*.rug.nl"/>
	<target host="www.astro.rug.nl"/>

	<rule from="^http://(www\.)?rug\.nl/(_definition/|sterrenkunde/([!_]css|_shared/|onderwijs/index!login))"
		to="https://$1rug.nl/$2"/>

	<!--	!www !work	-->
	<rule from="^http://(?:www\.)?astro\.rug\.nl/"
		to="https://www.astro.rug.nl/"/>

</ruleset>