| 1 |
On Tue, Oct 31, 2017 at 1:50 AM, Dirkjan Ochtman <djc@g.o> wrote: |
| 2 |
> On Tue, Oct 31, 2017 at 12:17 AM, Michał Górny <mgorny@g.o> wrote: |
| 3 |
>> |
| 4 |
>> TL;DR: if nobody comes up with a good solution and implements it, we'll |
| 5 |
>> be discontinuing support for GitHub as contribution platform for Gentoo |
| 6 |
>> and automatically closing all PRs except for those meant for proxy- |
| 7 |
>> maint. |
| 8 |
|
| 9 |
So does this mean we go back to patches being filed on bugzilla? |
| 10 |
|
| 11 |
> FWIW, this would make me sad. Working with GitHub PRs is the easiest way for |
| 12 |
> me to accept contributions from non-committers today, and I appreciate all |
| 13 |
> the hard work that has gone into it. |
| 14 |
> |
| 15 |
>> |
| 16 |
>> Unless someone has a very good idea how to solve this, I will declare |
| 17 |
>> pull requests for regular packages unsupported 7 days from now, that is |
| 18 |
>> on 2017-11-07. After that date, as time permits I will update |
| 19 |
>> the relevant documentation and modify the scripts to automatically close |
| 20 |
>> incoming pull requests with appropriate explanation. |
| 21 |
> |
| 22 |
> |
| 23 |
> Maybe there can be an whitelist of developers that accept PRs, and PRs for |
| 24 |
> packages that don't have any of these devs/teams get autoclosed? |
| 25 |
> |
| 26 |
> Cheers, |
| 27 |
> |
| 28 |
> Dirkjan |
Archives