What's up with pull request buildbots?

[Robert]

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. It does not mean that it is irrelevant or that I am
not willing to make it compatible again as soon as any reviewer has time
for a review.

So it has to be there, if not for anything else than just for for the
sake of being there and being seen:
 - So that no-one else implements the same thing again for no reason
 - Maintainers know that there is something they need to take care of at
some point.

Pull requests should be closed by maintainers if the pull request won't
get accepted even if improved quality wise or if the submitter is no
longer available for making it ready, but not just because they are old.

Best regards,

Robert