Add more bots. (#1383)

Fixes #1381
This commit is contained in:
Robin van Boven 2019-09-19 17:52:20 +02:00 committed by Dandelion Mané
parent 8f46d7d812
commit d6bbc939b2

View File

@ -5,9 +5,11 @@
export function botSet(): Set<string> { export function botSet(): Set<string> {
return new Set([ return new Set([
"codecov", "codecov",
"codecov-io",
"credbot", "credbot",
"facebook-github-bot", "facebook-github-bot",
"gitcoinbot", "gitcoinbot",
"gitter-badger",
"googlebot", "googlebot",
"greenkeeper", "greenkeeper",
"greenkeeperio-bot", "greenkeeperio-bot",