Re: [tor-bugs] #29881 [Core Tor/Tor]: Create a GitHub bot that makes sure there is a pull request on master for every branch

2019-06-18 Thread Tor Bug Tracker & Wiki
#29881: Create a GitHub bot that makes sure there is a pull request on master for every branch -+- Reporter: teor | Owner: (none) Type: enhancement |

Re: [tor-bugs] #29881 [Core Tor/Tor]: Create a GitHub bot that makes sure there is a pull request on master for every branch

2019-06-18 Thread Tor Bug Tracker & Wiki
#29881: Create a GitHub bot that makes sure there is a pull request on master for every branch -+- Reporter: teor | Owner: (none) Type: enhancement |

Re: [tor-bugs] #29881 [Core Tor/Tor]: Create a GitHub bot that makes sure there is a pull request on master for every branch

2019-03-26 Thread Tor Bug Tracker & Wiki
#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|

[tor-bugs] #29881 [Core Tor/Tor]: Create a GitHub bot that makes sure there is a pull request on master for every branch

2019-03-24 Thread Tor Bug Tracker & Wiki
#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 |