Re: DMD PR management hits a new low

2017-11-21 Thread Iain Buclaw via Digitalmars-d
On 20 November 2017 at 00:11, Walter Bright via Digitalmars-d wrote: > On 11/19/2017 3:54 AM, Iain Buclaw wrote: >> >> When I have time, I have it in my todo list to review everything below PR >> 6000. >> >> https://issues.dlang.org/show_bug.cgi?id=17839 > > > Thank

Re: DMD PR management hits a new low

2017-11-19 Thread Walter Bright via Digitalmars-d
On 11/19/2017 3:54 AM, Iain Buclaw wrote: When I have time, I have it in my todo list to review everything below PR 6000. https://issues.dlang.org/show_bug.cgi?id=17839 Thank you, Iain! Recently I did a look through the old ones for optlink bugs, and found a number of them were already

Re: DMD PR management hits a new low

2017-11-19 Thread Iain Buclaw via Digitalmars-d
On 19 November 2017 at 00:44, Walter Bright via Digitalmars-d wrote: > On 11/17/2017 11:52 PM, Michael V. Franklin wrote: >> >> What can I do? > > > Doing what you just did is the right thing. The forum is for topical things > like bringing attention to neglected

Re: DMD PR management hits a new low

2017-11-18 Thread user1234 via Digitalmars-d
On Sunday, 19 November 2017 at 01:40:32 UTC, codephantom wrote: On Saturday, 18 November 2017 at 23:21:08 UTC, user1234 wrote: It seems that they close systematically after a month or so. You need to hire a vilain that will do this dirty job for you (or maybe even use a bot)...everybody will

Re: DMD PR management hits a new low

2017-11-18 Thread codephantom via Digitalmars-d
On Saturday, 18 November 2017 at 23:21:08 UTC, user1234 wrote: It seems that they close systematically after a month or so. You need to hire a vilain that will do this dirty job for you (or maybe even use a bot)...everybody will hate him but the stack of folder on the desktop will get smaller.

Re: DMD PR management hits a new low

2017-11-18 Thread Walter Bright via Digitalmars-d
On 11/17/2017 11:52 PM, Michael V. Franklin wrote: What can I do? Doing what you just did is the right thing. The forum is for topical things like bringing attention to neglected items.

Re: DMD PR management hits a new low

2017-11-18 Thread user1234 via Digitalmars-d
On Saturday, 18 November 2017 at 07:52:43 UTC, Michael V. Franklin wrote: I'll just refer you to this comment: https://github.com/dlang/dmd/pull/6947#issuecomment-345423103 Manually merging this pull as it sat around long enough waiting to be marked approved that it accumulated github's max

Re: DMD PR management hits a new low

2017-11-18 Thread Meta via Digitalmars-d
On Saturday, 18 November 2017 at 13:08:55 UTC, Dmitry Olshansky wrote: On Saturday, 18 November 2017 at 07:52:43 UTC, Michael V. Franklin wrote: I'll just refer you to this comment: https://github.com/dlang/dmd/pull/6947#issuecomment-345423103 Manually merging this pull as it sat around long

Re: DMD PR management hits a new low

2017-11-18 Thread Dmitry Olshansky via Digitalmars-d
On Saturday, 18 November 2017 at 07:52:43 UTC, Michael V. Franklin wrote: I'll just refer you to this comment: https://github.com/dlang/dmd/pull/6947#issuecomment-345423103 Manually merging this pull as it sat around long enough waiting to be marked approved that it accumulated github's max

DMD PR management hits a new low

2017-11-17 Thread Michael V. Franklin via Digitalmars-d
I'll just refer you to this comment: https://github.com/dlang/dmd/pull/6947#issuecomment-345423103 Manually merging this pull as it sat around long enough waiting to be marked approved that it accumulated github's max 1000 status updates per commit id and won't ever see more until a new