Add more uninteresting mails

This commit is contained in:
Felix Van der Jeugt 2020-08-20 15:55:49 +02:00
parent ad7adee281
commit 95aa87cba9
No known key found for this signature in database
GPG Key ID: 58B209295023754D

View File

@ -77,6 +77,8 @@ archive tag:dodona subject:'status was changed to internal error' 'course_id: 15
archive tag:dodona subject:'status was changed to internal error' 'course_id: 234' # industrieel ingenieur 2019-2020 archive tag:dodona subject:'status was changed to internal error' 'course_id: 234' # industrieel ingenieur 2019-2020
archive tag:dodona subject:'status was changed to internal error' 'course_id: 264' # scriptingtalen 2019-2020 archive tag:dodona subject:'status was changed to internal error' 'course_id: 264' # scriptingtalen 2019-2020
archive tag:dodona subject:'status was changed to internal error' 'course_id: 294' # python testen eerstjaars 2019-2020 archive tag:dodona subject:'status was changed to internal error' 'course_id: 294' # python testen eerstjaars 2019-2020
archive tag:dodona subject:'status was changed to internal error' 'course_id: 317' # C testcursus 2020-2021
archive tag:dodona subject:'status was changed to internal error' 'course_id: 335' # R basic
archive tag:dodona subject:'status was changed to internal error' 'user_id: 3' # Peter archive tag:dodona subject:'status was changed to internal error' 'user_id: 3' # Peter
archive tag:github thread:{from:dependabot} \ archive tag:github thread:{from:dependabot} \
-subject:Security \ -subject:Security \
@ -84,6 +86,7 @@ archive tag:github thread:{from:dependabot} \
-to:assign@noreply.github.com \ -to:assign@noreply.github.com \
-to:review_requested@noreply.github.com \ -to:review_requested@noreply.github.com \
-to:security_alert@noreply.github.com -to:security_alert@noreply.github.com
archive tag:ugent subject:'Belnet FileSender: Ontvangstbevestiging'
# Muted threads stay muted for a month after arrival # Muted threads stay muted for a month after arrival
archive thread:{tag:muted} archive thread:{tag:muted}