What's up with pull request buildbots?

Andrei Alexandrescu SeeWebsiteForEmail at erdani.org
Tue Jun 4 05:24:43 PDT 2013


On 6/4/13 3:52 AM, Robert wrote:
> On Mon, 2013-06-03 at 16:39 +0200, Dylan Knutson wrote:
>> On a side note, there are a few (lots) of pull requests that are
>> several months old, and master has changed too much for them to
>> be compatible and/or relevant. Perhaps those should just be
>> closed?
>
> I have an open pull request which is already months old and no longer
> compatible to master. This is because I have not received any feedback
> since submission.

Apologies. What's the number? I'll look into it as soon as I can.

Andrei




More information about the Digitalmars-d mailing list