#29881: Create a GitHub bot that makes sure there is a pull request on master for every branch -------------------------------------------------+------------------------- Reporter: teor | Owner: (none) Type: enhancement | Status: new Priority: Medium | Milestone: Tor: | unspecified Component: Core Tor/Tor | Version: Severity: Normal | Resolution: Keywords: tor-ci, 041-deferred-20190530, | Actual Points: sponsor31-maybe | Parent ID: | Points: 2 Reviewer: | Sponsor: -------------------------------------------------+------------------------- Changes (by teor):
* cc: gaba (added) * keywords: tor-ci, 041-deferred-20190530 => tor-ci, 041-deferred-20190530, sponsor31-maybe * sponsor: Sponsor31-can => * parent: #29792 => Comment: Gaba, this ticket could go in Sponsor 31, because it's about practracker and best practices for pull requests. -- Ticket URL: <https://trac.torproject.org/projects/tor/ticket/29881#comment:5> 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