Lesser Bots for GitHub Pull Requests

comments chrome runs bot to visibility "*://*github*/**/pull/*" spammy on ctrl+b a ser-bots-chrome-extension hide urls toggles bot comment often extension https://github.com/jtsalva/les matching open-source: