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