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.

Sign up for GitHub

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

Jump to bottom

fix: user search script #122

Merged

Kiruha01 merged 1 commit into master from fix/user-search

Mar 15, 2023

Contributor

Kiruha01 commented Mar 14, 2023 •

edited

Loading

Checklist

I've generated a new bot from the bot-template and checked that everything works:
- Linters and tests have passed
- Bot answers on /help command
- Bot suggests available commands
I've written good commit message for all commits
I've split changes into separate commits where it's appropriate
I'll make a release when PR is approved


          fix: user search script

31dc49b

nidemidovich approved these changes

View reviewed changes

Kiruha01 merged commit 1e6143d into master

Kiruha01 deleted the fix/user-search branch

March 15, 2023 06:53

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet