From bf41d08580e3d0731c2ace3611b2e0a14b02dd42 Mon Sep 17 00:00:00 2001
From: Allink <arclicious@vivaldi.net>
Date: Thu, 26 May 2022 22:13:57 +0100
Subject: [PATCH] Mention the user who completes the report so we can have
 their current Discord name (includes their current name & tag in-case they
 delete their account)

---
 .../totalfreedommod/discord/MessageReactionListener.java        | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/java/me/totalfreedom/totalfreedommod/discord/MessageReactionListener.java b/src/main/java/me/totalfreedom/totalfreedommod/discord/MessageReactionListener.java
index 9eeb55a6..094a581f 100644
--- a/src/main/java/me/totalfreedom/totalfreedommod/discord/MessageReactionListener.java
+++ b/src/main/java/me/totalfreedom/totalfreedommod/discord/MessageReactionListener.java
@@ -58,7 +58,7 @@ public class MessageReactionListener extends ListenerAdapter
         // We don't need other embeds... yet?
         final MessageEmbed embed = message.getEmbeds().get(0);
         final MessageBuilder archiveMessageBuilder = new MessageBuilder();
-        archiveMessageBuilder.setContent("Report completed by " + Discord.deformat(completer.getUser().getAsTag()));
+        archiveMessageBuilder.setContent("Report completed by  " + completer.getUser().getAsMention() + " (" + Discord.deformat(completer.getUser().getAsTag() + ")"));
         archiveMessageBuilder.setEmbed(embed);
         final Message archiveMessage = archiveMessageBuilder.build();