title: How do I get all members with a certain role discord.py
body: <p>I have my command <code>.roleinactivity @whatever role</code>. How do I take whatever role that was pinged and find all of the members that have that role?</p>
  <p>I've been trying to loop through each member in the server with an if statement to see if they have said role but it didn't work. Can anyone point me in the right direction?</p>