The idea 💡

Give a discord user intra profile link by using /link USERNAME

Reasoning 🧠

I'm too lazy to copy past a username from discord and past it in intra 🤷🏻‍♂️

Solves 🎯

Since now all the user in the server have their intra username as username (within a nickname or not) we can parse the username to create a profile link

The idea 💡

Make BMO handle E3 reservation for both campuses, by using reserve command.

Reasoning 🧠

Staff do announce on their events, but club members decide on theirs just between them, therefor clubs and students end up deciding to use E3 on same time, and fighting over who will be using it.

Solve it 🎯

you can just use reserve and give it date and BMO will tell you if it's reserved already by someone else or you can reserve it.

It's sometimes cumbersome to find a user based on their intra username because of Discord's broken search functionality, especially when looking for them during an evaluation.
Here's an example from the mobile Discord app when searching for a perfectly valid intra username:

The sidebar also doesn't show offline users so it makes sense to add this command.

I expect this command to accept a username argument. We can then use the input to look for the user using the following endpoint:

https://discord.com/developers/docs/resources/guild#search-guild-members

Once we find a match, we return the student's Discord nickname and a link in the following format so you can easily DM them:

https://discord.com/channels/@me/[students_discord_id]