disable bot notification spam (#68460)

* disable bot notification spam

* add new key to botmeta sanity
pull/68462/head
jctanner 4 years ago committed by GitHub
parent e12cea2c7c
commit c067beecda
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1,4 +1,5 @@
automerge: false
notifications: false
files:
.github/BOTMETA.yml:
labels: botmeta

@ -53,6 +53,7 @@ def main():
schema = Schema({
Required('automerge'): bool,
Required('notifications'): bool,
Required('files'): Any(None, *list_dict_file_schema),
Required('macros'): dict, # Any(*list_macros_schema),
})

Loading…
Cancel
Save