| 1 |
On Tue, Oct 31, 2017 at 9:17 AM, Michał Górny <mgorny@g.o> wrote: |
| 2 |
> |
| 3 |
> So what's your alternative? Put a big 'feel free to file a pull request |
| 4 |
> and it might be reviewed, rejected straight away or ignored for months. |
| 5 |
> You may want to also file a bug with the same content just in case'? |
| 6 |
> |
| 7 |
|
| 8 |
The same basically applies to bugzilla. Bugs taking months to get |
| 9 |
resolved is fairly common if they aren't highly impactful, and |
| 10 |
sometimes even if they are. |
| 11 |
|
| 12 |
I checked and I don't have any assigned PRs, but if I did I know I'd |
| 13 |
be annoyed if somebody went around closing them if they weren't |
| 14 |
actually resolved, just as I would be if somebody did the same in |
| 15 |
bugzilla. |
| 16 |
|
| 17 |
I'm going to try to refrain from going back and forth on this more, |
| 18 |
but I'd suggest stepping back a bit on this. IMO the ability to use |
| 19 |
github as a tool for managing PR is useful, and even if it isn't used |
| 20 |
universally it is better to keep it around. |
| 21 |
|
| 22 |
Sure, github is optional, but when you think about it so is bugzilla. |
| 23 |
There is no Gentoo bug service level agreement. If a package |
| 24 |
maintainer is ignoring bugs the solution is for somebody else to step |
| 25 |
up to help maintain the package. |
| 26 |
|
| 27 |
-- |
| 28 |
Rich |
Archives