~nova/fletcher#135: Enhance user banning

Users ought to be able to be banned by user ID even if they aren't and haven't in the past been on the server.

This is probably possible as if the user has in the past been on the server, they can be banned by an administrator through the user context menu by searching them. The !ban command would accept the bare user ID (not a reference, since that isn't possible).

Status: RESOLVED INVALID
Submitter: ~erin
Assigned to: No-one
Submitted: 1 year, 8 months ago
Updated: 1 year, 5 months ago
Labels: No labels applied.

~nova REPORTED INVALID 1 year, 5 months ago

          if len(message.mentions) >= 1:
              member = message.mentions[0]
          else:
              member = message.guild.get_member(int(args[0]))

This is already the case.