#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
[email protected]
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs
