[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:  merge_ready
 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:  catalyst                  |        Sponsor:
--------------------------------------+----------------------------------

Comment (by catalyst):

 Replying to [comment:14 teor]:
 > Replying to [comment:13 catalyst]:
 > > Replying to [comment:1 teor]:
 > > > I added https://github.com/torproject/.github and gave the network
 team push access.
 > > >
 > > > People can now submit pull requests for the files listed above.
 > > Just checking: the github.com copy is authoritative and there is no
 git.torproject.org repository?
 >
 > `.github` is a GitHub-specific configuration repository.
 >
 > So I didn't set up a canonical repository on git.torproject.org, and I
 don't think we need one.
 Thanks!

 Given that this change affects more than the network team, maybe we should
 ask other teams for objections before merging?

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