Opened 5 years ago

Closed 5 years ago

#18088 closed task (fixed)

Please delete erroneously pushed branch from onionoo.git

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


Branch task-16907-2 should have been pushed to my public repository, but instead I pushed it to the official repository. Now I cannot delete it anymore:

~/src/onionoo$ git push origin --delete task-16907-2
remote: + refs/heads/task-16907-2 onionoo karsten DENIED by fallthru
remote: error: hook declined to update refs/heads/task-16907-2
To ssh://
 ! [remote rejected] task-16907-2 (hook declined)
error: failed to push some refs to 'ssh://'

Thanks in advance!

Child Tickets

Change History (2)

comment:1 Changed 5 years ago by Sebastian


comment:2 Changed 5 years ago by Sebastian

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.