Add @codecov to the list of bots (#723)

Test plan: n/a
This commit is contained in:
Dandelion Mané 2018-08-29 17:33:33 -07:00 committed by GitHub
parent 08f6602389
commit ce52368744
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -4,6 +4,7 @@
// rather than depending on this single souce of truth
export function botSet(): Set<string> {
return new Set([
"codecov",
"credbot",
"facebook-github-bot",
"gitcoinbot",