[tor-bugs] #10106 [EFF-HTTPS Everywhere]: Merge in jpds/master repo

[Tor Bug Tracker & Wiki]

#10106: Merge in jpds/master repo
----------------------------------+---------------------
 Reporter:  cypherpunks           |          Owner:  pde
     Type:  enhancement           |         Status:  new
 Priority:  normal                |      Milestone:
Component:  EFF-HTTPS Everywhere  |        Version:
 Keywords:                        |  Actual Points:
Parent ID:                        |         Points:
----------------------------------+---------------------
 Hello,

 Can someone please merge in my repo of https-everywhere into the mainline
 repo?

 https://github.com/jpds/https-everywhere

 Nice tricks I've included are a 'precommit' hook:

 - https://github.com/jpds/https-everywhere/blob/master/hooks/precommit

 And also a load of rulesets and changes to existing ones:

 - https://github.com/jpds/https-everywhere/compare/pde:master...master

-- 
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/10106>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online