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.

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

Periodic reminders #15

Open
pushcx opened this issue Jul 3, 2022 · 3 comments
Open

Periodic reminders #15

pushcx opened this issue Jul 3, 2022 · 3 comments
Labels
enhancement New feature or request good first issue Good for newcomers

Comments

@pushcx
Copy link
Member

pushcx commented Jul 3, 2022

With 600+ people in the channel, someone's always a bit surprised to learn about query policy, filters, or other less-common features. It would be nice to have the bot mention them once per month or so.
@pushcx pushcx added enhancement New feature or request good first issue Good for newcomers labels Jul 3, 2022
@lodenrogue
Copy link

Would this be adding a new function in scheduled.js with an interval of 1 month?

@pushcx
Copy link
Member Author

pushcx commented Jul 4, 2022

The bot has some kind of leak or instability it and rarely stays up for more than a few weeks.

@hmadison
Copy link
Member

hmadison commented Jul 4, 2022

The bot has some kind of leak or instability it and rarely stays up for more than a few weeks.

We have access to a leveldb database for persistence. The state can be tracked there and preserved across restarts.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request good first issue Good for newcomers
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@pushcx @lodenrogue @hmadison