#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://g...@git-rw.torproject.org/tor-launcher.git ! [remote rejected] mater (hook declined) error: failed to push some refs to 'ssh://g...@git-rw.torproject.org/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@lists.torproject.org https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs