Opened 10 months ago

Closed 7 months ago

#31479 closed task (fixed)

Please delete branch ticket31476 from tor.git repository

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

Description

I accidentally pushed this to origin.

My pre-push hook should have stopped me, but I got too used to overriding it for other things, and I accidentally overrode it for this too. :/

Child Tickets

Change History (2)

comment:2 Changed 7 months ago by irl

Resolution: fixed
Status: newclosed

Fixed on git-rw, will propagate after the next run of the post-receive hooks to all the various places it is mirrored.

Note: See TracTickets for help on using tickets.