Opened 3 years ago

Closed 3 years ago

#25275 closed task (fixed)

Please delete tag collector-1.5.0 in collector.git

Reported by: karsten Owned by: tor-gitadm
Priority: Medium Milestone:
Component: Internal Services/Service - git Version:
Severity: Normal Keywords:
Cc: metrics-team Actual Points:
Parent ID: Points:
Reviewer: Sponsor:

Description

I accidentally pushed a tag to the official CollecTor repository, and now I cannot delete it anymore:

$ git push --delete origin collector-1.5.0
remote: + refs/tags/collector-1.5.0 collector karsten DENIED by fallthru
remote: error: hook declined to update refs/tags/collector-1.5.0
To ssh://git-rw.torproject.org/collector
 ! [remote rejected]   collector-1.5.0 (hook declined)
error: failed to push some refs to 'ssh://git@git-rw.torproject.org/collector'

Can somebody with Git superpowers please delete the collector-1.5.0 tag? Thanks in advance!

Child Tickets

Change History (5)

comment:1 Changed 3 years ago by karsten

Pretty please. :)

comment:2 Changed 3 years ago by hiro

Status: newneeds_revision

Fixed.

comment:3 Changed 3 years ago by teor

Resolution: fixed
Status: needs_revisionclosed

I think this was actually fixed

comment:4 Changed 3 years ago by karsten

Resolution: fixed
Status: closedreopened

Hmm, are you sure this is fixed? I still see the 1.5.0 tag on https://gitweb.torproject.org/collector.git/, and when I clone the repository and run git tag -l, I see it, too.

Do I have to push something to the repository first in order to make that tag go away? Or do I have to push a new 1.5.0 tag? Or...

comment:5 Changed 3 years ago by karsten

Resolution: fixed
Status: reopenedclosed

This is fixed now. hiro gave me more permissions, I deleted the tag, hiro revoked the additional permissions. Closing. Thanks!

Note: See TracTickets for help on using tickets.