[tor-bugs] #15982 [Tor Browser]: Mirror repository to github.com to provide from pull requests

Tor Bug Tracker & Wiki blackhole at torproject.org
Mon May 11 08:50:47 UTC 2015


#15982: Mirror repository to github.com to provide from pull requests
-----------------------------+----------------------
     Reporter:  krichter     |      Owner:  tbb-team
         Type:  task         |     Status:  closed
     Priority:  normal       |  Milestone:
    Component:  Tor Browser  |    Version:
   Resolution:  wontfix      |   Keywords:
Actual Points:               |  Parent ID:
       Points:               |
-----------------------------+----------------------
Changes (by gk):

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


Comment:

 Everybody can setup a tor browser mirror on github in order to send us
 pull requests. We can add the remote then and get the fixes easily
 incorporated. I don't think we should put more on our admin plate
 mirroring everything officially on GitHub. On a personal note I am no fan
 of using and endorsing non-free tools either, see: http://mako.cc/writing
 /hill-free_tools.html for some arguments.

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


More information about the tor-bugs mailing list