Opened 9 months ago

Closed 9 months ago

#29531 closed task (fixed)

Remove accidentally pushed branch `bug29145_029` from tor.git

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

This should not have been pushed to the main repository :(

Child Tickets

Change History (1)

comment:1 Changed 9 months ago by irl

Resolution: fixed
Status: newclosed

Done. Grepping our config for "tor" is not easy.

Note: See TracTickets for help on using tickets.