[tor-bugs] #32335 [Core Tor/Tor]: Set up a .github repository on GitHub

[Tor Bug Tracker & Wiki]

#32335: Set up a .github repository on GitHub
--------------------------------------+----------------------------------
 Reporter:  teor                      |          Owner:  (none)
     Type:  task                      |         Status:  needs_review
 Priority:  Medium                    |      Milestone:  Tor: unspecified
Component:  Core Tor/Tor              |        Version:
 Severity:  Normal                    |     Resolution:
 Keywords:  tor-github, 043-deferred  |  Actual Points:
Parent ID:                            |         Points:  1
 Reviewer:  nickm                     |        Sponsor:
--------------------------------------+----------------------------------

Comment (by nickm):

 Good catch! The license file isn't part of this PR, though; it looks like
 github provided it with the initial repository.

 Given the history of this ticket, I think our best bet is for me to raise
 this for more general discussion again and propose a way forward.  Namely,
 I think we should merge the PR, and then fix up whatever remaining issues
 we find.

 I'll bring this up at the all-hands on wednesday and propose that we go
 ahead that way.

 Some issues I would fix post-merge are:
    * Stop recommending trac as a support forum.
    * Explicitly list which repositories are "owned"/maintained by which
 teams, with a table or list covering every repo we have.

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