From 52bcd03dd72369031d9de651911276f7d1e9b5c4 Mon Sep 17 00:00:00 2001
From: Felix Van der Jeugt <felix.vanderjeugt@posteo.net>
Date: Mon, 26 Apr 2021 13:46:51 +0200
Subject: [PATCH] also ignore responses to dodona teacher requests

---
 services/mailsync/run | 1 +
 1 file changed, 1 insertion(+)

diff --git a/services/mailsync/run b/services/mailsync/run
index c37c2c3..a050c19 100755
--- a/services/mailsync/run
+++ b/services/mailsync/run
@@ -45,6 +45,7 @@ minc $(mdirs /data/mail) > "$s"
 	mpick -t 'subject =~ "\[hackers\] \[svkdb\]"' < "$s"
 	mpick -t 'to = "dodona-edu/dodona <dodona@noreply.github.com>" && subject ~~ "*Bump * from * to *"' < "$s"
 	mpick -t 'from = "<dodona@ugent.be>" && subject ~~ "* vraagt om lesgeversrechten"' < "$s"
+	mpick -t 'from = "<dodona@ugent.be>" && subject ~~ "* Je vraag naar lesgeversrechten werd goedgekeurd"' < "$s"
 
 	# Muted mails
 	for muted in $(cat ~/.mblaze/muted); do