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