Opened 3 years ago

Closed 3 years 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:


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://
  ! [remote rejected] mater (hook declined)
 error: failed to push some refs to 'ssh://'

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

Child Tickets

Change History (1)

comment:1 Changed 3 years ago by Sebastian

Resolution: fixed
Status: newclosed


Note: See TracTickets for help on using tickets.