[tor-bugs] #9545 [Service - git]: Please create user/atagar/doctor.git and grant atagar push access to doctor.git

[Tor Bug Tracker & Wiki]

#9545: Please create user/atagar/doctor.git and grant atagar push access to
doctor.git
-----------------------------+---------------------------------------------
     Reporter:  karsten      |      Owner:  erinn, nickm, Sebastian, weasel
         Type:  task         |     Status:  needs_information
     Priority:  normal       |  Milestone:
    Component:  Service -    |    Version:
  git                        |   Keywords:
   Resolution:               |  Parent ID:  #8258
Actual Points:               |
       Points:               |
-----------------------------+---------------------------------------------

Comment (by atagar):

 > Please say exactly what you want git maintainers.

 Again, what we would like is for the Doctor's 'master' branch to be
 renamed to 'java'. That's the only intervention we need.

-- 
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/9545#comment:10>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online