[tor-bugs] #11250 [Service - git]: Move globe git to Tor's git?

[Tor Bug Tracker & Wiki]

#11250: Move globe git to Tor's git?
-------------------------------+-------------------------------
     Reporter:  arma           |      Owner:  rndm
         Type:  enhancement    |     Status:  needs_information
     Priority:  normal         |  Milestone:
    Component:  Service - git  |    Version:
   Resolution:                 |   Keywords:  globe
Actual Points:                 |  Parent ID:
       Points:                 |
-------------------------------+-------------------------------
Changes (by isis):

 * status:  new => needs_information
 * keywords:   => globe
 * component:  Globe => Service - git
 * cc: arma, arlolra, sherief, rndm, wfn, isis (added)


Comment:

 Did rndm disappear?

 There's a person, Syrup-tan, in #tor-dev with some [https://github.com
 /Syrup-tan/globe/tree/trac-12933 globe] [https://github.com/Syrup-
 tan/globe/tree/trac-13355 patches], and we are both rather confused if
 those patches should turn into pull requests to
 [https://github.com/makepanic/globe rndm's github repo] or get merged to
 some official repo.

 Can we make:

 {{{
 repo globe.git
     RW    isis
     R     @all

 # (plus whatever gitweb configuration to make it public)
 }}}

 Could we also add `RW` for whoever else needs it? Maybe karsten or arma,
 if either of them are willing? Or hopefully some people who are more into
 Javascript development than me? sherief? arlolra? wfn?

 Once that's done, we should push the current codebase from rndm's github
 repo to git.tpo, and probably move whatever issues lurk on the github
 tracker to our Trac.

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