[Author Prev][Author Next][Thread Prev][Thread Next][Author Index][Thread Index]

Re: [tor-bugs] #9581 [Service - git]: Delete jtor repo and archive jtorctl?

#9581: Delete jtor repo and archive jtorctl?
-----------------------------+---------------------------------------------
     Reporter:  atagar       |      Owner:  erinn, nickm, Sebastian, weasel
         Type:  enhancement  |     Status:  closed
     Priority:  trivial      |  Milestone:
    Component:  Service -    |    Version:
  git                        |   Keywords:
   Resolution:  fixed        |  Parent ID:
Actual Points:               |
       Points:               |
-----------------------------+---------------------------------------------
Changes (by weasel):

 * status:  new => closed
 * resolution:   => fixed


Comment:

 I don't think we should remove repositories.

 We can put them into a different section on the gitweb website though.
 Done.

-- 
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/9581#comment:2>
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