From d975594d2154f50b4e29d15341d81c1a85ce6a66 Mon Sep 17 00:00:00 2001
From: Daan Boerlage <d@boerlage.me>
Date: Mon, 20 Sep 2021 02:11:16 +0200
Subject: [PATCH] Add mention property to the interaction user object

---
 src/Core/Interactions/Resolved/User.cs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/Core/Interactions/Resolved/User.cs b/src/Core/Interactions/Resolved/User.cs
index 14cd554..9dc4c53 100644
--- a/src/Core/Interactions/Resolved/User.cs
+++ b/src/Core/Interactions/Resolved/User.cs
@@ -2,7 +2,7 @@ using System.Text.Json.Serialization;
 
 namespace Geekbot.Core.Interactions.Resolved
 {
-    public record User
+    public class User
     {
        [JsonPropertyName("id")]
        public string Id { get; set; }
@@ -48,5 +48,7 @@ namespace Geekbot.Core.Interactions.Resolved
        
        [JsonPropertyName("public_flags")]
        public int PublicFlags { get; set; }
+
+       public string Mention => $"<@{Id}>";
     }
 }
\ No newline at end of file