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

<ruleset name="Pivotal Tracker">
  <target host="pivotaltracker.com" />
  <target host="www.pivotaltracker.com" />

  <rule from="^http://(?:www\.)?pivotaltracker\.com/" to="https://www.pivotaltracker.com/" />
</ruleset>