Deduplicate title of pages edited/created

2018-05-06 21:12:37 +02:00 · 2018-05-06 21:12:37 +02:00 · eb767a90f2
commit eb767a90f2
parent 156ea44f0d
1 changed files with 1 additions and 1 deletions
--- 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) {