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