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