Opened 8 months ago

Closed 8 months ago

#21997 closed defect (fixed)

tor-launcher: please delete the mater branch

Reported by: mcs Owned by: tor-gitadm
Priority: Low Milestone:
Component: Internal Services/Service - git Version:
Severity: Normal Keywords:
Cc: brade, gk Actual Points:
Parent ID: Points:
Reviewer: Sponsor:

Description

I tried to delete an old tor-launcher branch that was created by mistake, but my attempt failed:

 git push origin-rw --delete mater
 remote: + refs/heads/mater tor-launcher brade DENIED by fallthru
 remote: error: hook declined to update refs/heads/mater
 To ssh://git@git-rw.torproject.org/tor-launcher.git
  ! [remote rejected] mater (hook declined)
 error: failed to push some refs to 'ssh://git@git-rw.torproject.org/tor-launcher.git'

My guess is that this is something that a git admin needs to do for us.

Child Tickets

Change History (1)

comment:1 Changed 8 months ago by Sebastian

Resolution: fixed
Status: newclosed

[x]

Note: See TracTickets for help on using tickets.