[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:  new                            
 Priority:  normal         |      Milestone:                                 
Component:  Service - git  |        Version:                                 
 Keywords:                 |         Parent:                                 
   Points:                 |   Actualpoints:                                 
---------------------------+------------------------------------------------
 Short description for user/atagar/doctor.git could be "Damian's DocTor
 repository".

 Please add atagar to the people with push privileges to the official
 doctor.git.

 Thanks!

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