JosephFerano/discord-bot-game
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Inclusivity

Browse Source
This commit is contained in:
Joseph Ferano 2022-05-17 23:58:52 +07:00
parent 1aeffe4c35
commit 7fd3100790
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Bot/InviteTracker.fs
View File

@ -459,7 +459,7 @@ Keep an eye on <#{GuildEnvironment.channelAnnouncements}> for updates.
🚀 Mint Date: 31st May 18:00 UTC""" 🚀 Mint Date: 31st May 18:00 UTC"""
let builder = DiscordMessageBuilder() let builder = DiscordMessageBuilder()
builder.WithContent($"<@{ctx.GetDiscordMember().Username}> submitted his wallet address in <#{GuildEnvironment.channelSubmitWallet}> and confirmed whitelist") |> ignore builder.WithContent($"<@{ctx.GetDiscordMember().Username}> submitted their wallet address in <#{GuildEnvironment.channelSubmitWallet}> and confirmed whitelist") |> ignore
let channel = (ctx.GetGuild().GetChannel(GuildEnvironment.channelEventsHackerBattle)) let channel = (ctx.GetGuild().GetChannel(GuildEnvironment.channelEventsHackerBattle))
do! channel.SendMessageAsync(builder) do! channel.SendMessageAsync(builder)
|> Async.AwaitTask |> Async.AwaitTask