[tor-bugs] #26248 [Internal Services/Service - git]: Please delete tag exonerator-2.1.0 in exonerator.git

["Tor Bug Tracker & Wiki" <blackhole@xxxxxxxxxxxxxx>]

#26248: Please delete tag exonerator-2.1.0 in exonerator.git
-------------------------------------------------+------------------------
     Reporter:  karsten                          |      Owner:  tor-gitadm
         Type:  task                             |     Status:  new
     Priority:  Medium                           |  Milestone:
    Component:  Internal Services/Service - git  |    Version:
     Severity:  Normal                           |   Keywords:
Actual Points:                                   |  Parent ID:
       Points:                                   |   Reviewer:
      Sponsor:                                   |
-------------------------------------------------+------------------------
 I'm afraid I did it again (#25275). This time I accidentally pushed tag
 [https://gitweb.torproject.org/exonerator.git/tag/?h=exonerator-2.1.0
 exonerator-2.1.0 to the official ExoneraTor repository], and now I cannot
 delete that tag anymore and push the correct one. Can somebody help,
 please? hiro, maybe?

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

_______________________________________________
tor-bugs mailing list
tor-bugs@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs