From eb767a90f2f929a8fcbb25e1c4e39a28a790cb2a Mon Sep 17 00:00:00 2001
From: Sebastian Kippe <sebastian@kip.pe>
Date: Sun, 6 May 2018 21:12:37 +0200
Subject: [PATCH] Deduplicate title of pages edited/created

---
 integrations/mediawiki.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/integrations/mediawiki.js b/integrations/mediawiki.js
index bdbf856..30f745f 100644
--- a/integrations/mediawiki.js
+++ b/integrations/mediawiki.js
@@ -121,7 +121,7 @@ module.exports = async function(robot, kredits) {
   }
 
   function pageTitlesFromChanges(changes) {
-    return changes.map(c => `"${c.title}"`).join(', ');
+    return [...new Set(changes.map(c => `"${c.title}"`))].join(', ');
   }
 
   function calculateAmountForChanges(details) {