[tor-bugs] #31883 [Internal Services/Service - jenkins]: Please remove metrics-lib-master job

[Tor Bug Tracker & Wiki]

#31883: Please remove metrics-lib-master job
-----------------------------------------------------+--------------------
     Reporter:  karsten                              |      Owner:  weasel
         Type:  task                                 |     Status:  new
     Priority:  Medium                               |  Milestone:
    Component:  Internal Services/Service - jenkins  |    Version:
     Severity:  Normal                               |   Keywords:
Actual Points:                                       |  Parent ID:
       Points:                                       |   Reviewer:
      Sponsor:                                       |
-----------------------------------------------------+--------------------
 We moved this job over to GitLab, so we don't need the Jenkins job
 anymore. Please remove it at your convenience. Thanks!

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