Opened 8 weeks ago

Last modified 5 days ago

#31479 new task

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 (1)

Note: See TracTickets for help on using tickets.