#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: 0.4.1.x-final
Component: Core Tor/Tor | Version:
Severity: Normal | Resolution:
Keywords: tor-ci | Actual Points:
Parent ID: #29792 | Points: 2
Reviewer: | Sponsor: Sponsor31-can
--------------------------+------------------------------------
Changes (by teor):
* parent: => #29792
--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/29881#comment:1>
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
