On 2015-01-16 21:44, Andrei Alexandrescu wrote:
Look for a champion after $(X) days? It looks like once a pull request is open it's impossible to close it. There's got to be some garbage collection somehow :o). -- Andrei
It's always possible to add a label to the pull request. -- /Jacob Carlborg