1 |
W dniu śro, 01.11.2017 o godzinie 13∶32 +0200, użytkownik Mart Raudsepp |
2 |
napisał: |
3 |
> Ühel kenal päeval, K, 01.11.2017 kell 09:00, kirjutas Michał Górny: |
4 |
> > W dniu śro, 01.11.2017 o godzinie 12∶48 +1300, użytkownik Kent |
5 |
> > Fredric |
6 |
> > napisał: |
7 |
> > > On Tue, 31 Oct 2017 14:19:30 +0100 |
8 |
> > > Michał Górny <mgorny@g.o> wrote: |
9 |
> > > |
10 |
> > > > The harm is that issues are left unnoticed, and users are left |
11 |
> > > > on the ice. |
12 |
> > > |
13 |
> > > That's exactly the problem with bugzilla today. |
14 |
> > > |
15 |
> > > We're not closing bugzilla. |
16 |
> > > |
17 |
> > > Closing PR's as an option doesn't improve the situation. |
18 |
> > > |
19 |
> > > Closing bugs due to being open more than a month doesn't help users |
20 |
> > > either, it just pisses them off further. |
21 |
> > |
22 |
> > The difference is that Bugzilla has a clear assignment rules, and |
23 |
> > unless |
24 |
> > one screws them up, we can monitor the situation and reassign them as |
25 |
> > inactive maintainers are removed. |
26 |
> > |
27 |
> > PRs are pretty much one big bucket of mess, and the more of them are |
28 |
> > open, the harder it is to figure out what they are about and what's |
29 |
> > the status of them. |
30 |
> > |
31 |
> > And yes, GitHub sucks at this. |
32 |
> |
33 |
> Could we tell non-proxy-maint PRs to establish a cross-reference |
34 |
> between a bugzilla entry and the GH PR? Then if a bugzilla entry |
35 |
> exists, which points at the PR (via URL, See Also, something new or |
36 |
> whatever we decide suitable), the PR is kept open after that one week, |
37 |
> otherwise automatically closed with info how to create a bugzilla entry |
38 |
> for this and re-open the PR? |
39 |
> |
40 |
|
41 |
Technically I don't see why it wouldn't be possible if you did the work. |
42 |
|
43 |
-- |
44 |
Best regards, |
45 |
Michał Górny |