[metrics-bugs] #32842 [Core Tor/DocTor]: Give notifications if tor26 is missing from the consensus

[Tor Bug Tracker & Wiki]

#32842: Give notifications if tor26 is missing from the consensus
-----------------------------+-----------------------------
 Reporter:  Sebastian        |          Owner:  atagar
     Type:  defect           |         Status:  closed
 Priority:  Medium           |      Milestone:
Component:  Core Tor/DocTor  |        Version:
 Severity:  Normal           |     Resolution:  implemented
 Keywords:                   |  Actual Points:
Parent ID:                   |         Points:
 Reviewer:                   |        Sponsor:
-----------------------------+-----------------------------
Changes (by atagar):

 * status:  reopened => closed
 * resolution:   => implemented


Comment:

 Hi starlight. I'm in the process of moving DocTor tickets to GitHub
 (https://github.com/torproject/doctor/). Your skipping mechanism is great,
 but at the end of the day it is a tool for DocTor's operator and as such
 their decision if they want it.

 Would you like responsibility for running and administering DocTor? I
 wrote DocTor as a favor to Karsten, and I'm willing to transfer ownership
 if you want it. If you do then please file a ticket at
 https://github.com/torproject/doctor/issues and I'll discuss it with the
 dirauth operators.

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