[tor-bugs] #10176 [HTTPS Everywhere: Chrome]: Update rules for github.com

[Tor Bug Tracker & Wiki]

#10176: Update rules for github.com
------------------------------------------+--------------------
     Reporter:  cypherpunks               |      Owner:  pde
         Type:  defect                    |     Status:  closed
     Priority:  normal                    |  Milestone:
    Component:  HTTPS Everywhere: Chrome  |    Version:
   Resolution:  user disappeared          |   Keywords:
Actual Points:                            |  Parent ID:
       Points:                            |
------------------------------------------+--------------------
Changes (by bm):

 * status:  needs_information => closed
 * resolution:   => user disappeared


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