Re: [Wikitech-l] Github: WMFGerrit closing pull requests