Opened 2 years ago

Closed 2 years ago

#26248 closed task (fixed)

Please delete tag exonerator-2.1.0 in exonerator.git

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

Description

I'm afraid I did it again (#25275). This time I accidentally pushed tag 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?

Child Tickets

Change History (3)

comment:1 Changed 2 years ago by hiro

Hi Karsten,
I have given you rights to delete the tag.
You are the only member of the group that is able to write this repo. Would you like me to keep you rights to RW+? Or would you prefer me to revert this when you are done with it?
Let me know.

comment:2 Changed 2 years ago by hiro

Status: newneeds_review

comment:3 Changed 2 years ago by karsten

Resolution: fixed
Status: needs_reviewclosed

Thank you, hiro! I deleted the tag and pushed the correct one. I'm fine with keeping rights as they are now, if this is okay for you. Thanks again! Resolving.

Note: See TracTickets for help on using tickets.