[tor-bugs] #13060 [Tor]: Remove the ability to mark relays as Bad directories

[Tor Bug Tracker & Wiki]

#13060: Remove the ability to mark relays as Bad directories
---------------------------+--------------------------------
     Reporter:  Sebastian  |      Owner:
         Type:  defect     |     Status:  new
     Priority:  normal     |  Milestone:  Tor: 0.2.6.x-final
    Component:  Tor        |    Version:
   Resolution:             |   Keywords:
Actual Points:             |  Parent ID:  #12898
       Points:             |
---------------------------+--------------------------------

Comment (by Sebastian):

 I just noticed that using this option never worked, because the special
 nickname !baddir wasn't handled. Even more reason to remove it.

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