[tor-bugs] #21997 [Internal Services/Service - git]: tor-launcher: please delete the mater branch

["Tor Bug Tracker & Wiki" <blackhole@xxxxxxxxxxxxxx>]

#21997: tor-launcher: please delete the mater branch
-------------------------------------------------+------------------------
     Reporter:  mcs                              |      Owner:  tor-gitadm
         Type:  defect                           |     Status:  new
     Priority:  Low                              |  Milestone:
    Component:  Internal Services/Service - git  |    Version:
     Severity:  Normal                           |   Keywords:
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://git@xxxxxxxxxxxxxxxxxxxxx/tor-launcher.git
   ! [remote rejected] mater (hook declined)
  error: failed to push some refs to 'ssh://git@xxxxxxxxxxxxxxxxxxxxx/tor-
 launcher.git'
 }}}
 My guess is that this is something that a git admin needs to do for us.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/21997>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online
_______________________________________________
tor-bugs mailing list
tor-bugs@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs