#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
_______________________________________________
tor-bugs mailing list
[email protected]
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs