[Author Prev][Author Next][Thread Prev][Thread Next][Author Index][Thread Index]
Re: [tor-bugs] #28643 [Internal Services/Service - github tpo]: New github team for manual and support
#28643: New github team for manual and support
----------------------------------------------------+----------------------
Reporter: teor | Owner: hiro
Type: task | Status: new
Priority: Medium | Milestone:
Component: Internal Services/Service - github tpo | Version:
Severity: Normal | Resolution:
Keywords: | Actual Points:
Parent ID: | Points:
Reviewer: | Sponsor:
----------------------------------------------------+----------------------
Comment (by hiro):
emmapeel should be able to push to torgit and then the git hooks we have
should push to github and automagically close the pull request.
We give read access to github/torproject teams so that when a PR is opened
people can receive an email on that repository (because they are in the
team). Then I only give write access to the pusher, which is only an
account we use to sync between torgit and github.
I am going to check why this PR isn't being closed automatically.
Sometimes github is slow in syncing PR, the only important thing is that
once something is merged the commits can be seen on github.
--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/28643#comment:1>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online
_______________________________________________
tor-bugs mailing list
tor-bugs@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs