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

Allow bot to ban users outside server #501

Merged
merged 4 commits into from
Dec 6, 2023
Merged

Allow bot to ban users outside server #501

merged 4 commits into from
Dec 6, 2023

Conversation

davidgan1218
Copy link
Contributor

Summary of Changes

Allows bot to ban users outside of server even if they have never joined server, previously bot could only ban users already in server.

Note: Ban Message is only sent to banned user if they are already in the server because on Discord direct messages can only be sent to users who are in mutual servers.

Copy link
Contributor

@Fan-Yang-284 Fan-Yang-284 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just before merging can you push another commit for a small tweak that we missed before this but might as well fix now - otherwise fix the merge conflict by rebasing on top of the latest commits in main - LGTM!

src/commandDetails/admin/ban.ts Outdated Show resolved Hide resolved
Copy link
Contributor

@probro27 probro27 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@davidgan1218 LGTM! Please do make the changes that Fan mentioned and there are some merge conflicts so please resolve them.

@Fan-Yang-284
Copy link
Contributor

There still seem to be a few linter errors (pictured below) so just fix those and it'll be good!

image

@Fan-Yang-284 Fan-Yang-284 dismissed probro27’s stale review December 6, 2023 16:41

Fixed in the above changes

@davidgan1218 davidgan1218 merged commit 06db106 into main Dec 6, 2023
2 checks passed
@davidgan1218 davidgan1218 deleted the Issue466 branch December 6, 2023 16:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants