Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

types: Omit getMessage in <UserContext>.options #9606

Closed
wants to merge 3 commits into from

Conversation

hvlxh
Copy link

@hvlxh hvlxh commented May 29, 2023

Please describe the changes this PR makes and why it should be merged:
It should be omitted because userContext doesn't contain message information or something.

Status and versioning classification:

@hvlxh hvlxh requested a review from a team as a code owner May 29, 2023 07:49
@vercel
Copy link

vercel bot commented May 29, 2023

The latest updates on your projects. Learn more about Vercel for Git ↗︎

2 Ignored Deployments
Name Status Preview Comments Updated (UTC)
discord-js ⬜️ Ignored (Inspect) Jun 16, 2023 4:41pm
discord-js-guide ⬜️ Ignored (Inspect) Jun 16, 2023 4:41pm

@Jiralite Jiralite added this to the discord.js 14.12 milestone May 29, 2023
@Jiralite Jiralite changed the title Omit getMessage in <UserContext>.options types: Omit getMessage in <UserContext>.options May 29, 2023
@Jiralite
Copy link
Member

Can you run the format script?

@hvlxh
Copy link
Author

hvlxh commented Jun 15, 2023

Okay

@kyranet
Copy link
Member

kyranet commented Jul 7, 2023

CI is red, can you fix it please?

@Jiralite
Copy link
Member

Superseded by #10003.

@Jiralite Jiralite closed this Nov 27, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

5 participants