Re: Pull request review?

[Andrew Phillips]

ones. Which brings the discussion onto the table: when do we consider
a PR dead? Should we close dead ones?

I would say so. They can always be reopened, if necessary. I'd say  
ping the authors and see if there's a response within a week or so..?

ap