[metrics-bugs] #31950 [Metrics/Cloud]: Use longer timeout for op-hk pings

[Tor Bug Tracker & Wiki]

#31950: Use longer timeout for op-hk pings
---------------------------+------------------------------
 Reporter:  irl            |          Owner:  metrics-team
     Type:  defect         |         Status:  new
 Priority:  High           |      Milestone:
Component:  Metrics/Cloud  |        Version:
 Severity:  Normal         |     Resolution:
 Keywords:                 |  Actual Points:
Parent ID:                 |         Points:
 Reviewer:                 |        Sponsor:
---------------------------+------------------------------
Changes (by karsten):

 * priority:  Medium => High


Comment:

 Setting priority to high in the hope to get this resolved soon. No need to
 keep this in the list of defects if it only takes 10 minutes to get it
 fixed.

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