Skip to content

Conversation

@numselli
Copy link

No description provided.

@numselli numselli closed this May 20, 2023
@MutantRabbit767
Copy link
Owner

over 3 years late, but thanks 😭
has this been tested? willing to merge into PR for the hell of it.

@numselli
Copy link
Author

numselli commented Aug 10, 2024

I dont remember if I tested it or not.
Edit; just looked over the code and the changes. The bot uses mongo db so I probably did not test it. Though it does not look like the changes would have an impact

@MutantRabbit767
Copy link
Owner

i can't believe you responded, this makes me so happy NGL.

@MutantRabbit767
Copy link
Owner

apparently because your branch was deleted I cant merge.

@numselli
Copy link
Author

I made #3 . the first commit is what this pr has right now, the second commit is more changes that I have just made. Once again I have not tested anything.

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.

2 participants