If a user isn't in the server, then it should still let you run commands on them using the id. It should make an object, probably called DeletedMember or FakeMember or something, and it would contain most of the attributes from discord.Member, but a lot of them just being None. This would allow muting and unsubbing from members that aren't in the server.
The code for this addition should be in betterbot.py
If a user isn't in the server, then it should still let you run commands on them using the id. It should make an object, probably called
DeletedMember
orFakeMember
or something, and it would contain most of the attributes fromdiscord.Member
, but a lot of them just being None. This would allow muting and unsubbing from members that aren't in the server. The code for this addition should be in betterbot.py