Fix user commands types

[MattyTheHacker]

Rectifies the issue identified in #736 for all other user_commands.

Must be merged after #736

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ All tests successful. No failed tests found.

📢 Thoughts on this report? Let us know!

[Copilot]

Pull request overview

This PR aims to fix type/behavior mismatches in Discord user context commands where the selected “member” argument can be a discord.User (e.g., when the target has left the server), aligning with the issue described in #736 and extending the approach to other commands.

Changes:

• Update user-context-command parameter types to accept discord.Member | discord.User.
• Refactor induction and applicant flows to pass user IDs into internal helpers and re-resolve to discord.Member via the main guild before accessing member-only fields (like .roles).
• Simplify the “make applicant from message author” path by reusing the shared helper logic.

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 1 comment.

File	Description
cogs/strike.py	Expands strike context-command typings to allow discord.User (but currently still has a crash path when the target isn’t a guild member).
cogs/make_applicant.py	Changes internal helper to accept an ID and validates membership via main_guild.get_member(...) before role operations.
cogs/induct.py	Changes internal helper to accept an ID and validates membership via main_guild.get_member(...) before role operations.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.