title: massping command - discord.py
body: <p>I am trying to make a command that gets 5 random people from a server and mentions them. What I have so far is this:</p>
  <pre><code>@bot.command()
  async def massping(ctx):
      await ctx.message.delete()
      user = choice(ctx.message.channel.guild.members)
      user2 = choice(ctx.message.channel.guild.members)
      user3 = choice(ctx.message.channel.guild.members)
      user4 = choice(ctx.message.channel.guild.members)
      user5 = choice(ctx.message.channel.guild.members)
  
      message = await ctx.send(f'{user.mention}{user2.mention}{user3.mention}{user4.mention}{user5.mention}')
      await message.delete()
  </code></pre>
  <p>The problem with this is that sometime it pings the same person twice. Is there any way around this so I can ensure it always pings 5 different people?</p>
  <p>Any help appreciated.</p>