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

Reminders bot #9709

Merged
merged 2 commits into from
Nov 20, 2024
Merged

Reminders bot #9709

merged 2 commits into from
Nov 20, 2024

Conversation

pabzm
Copy link
Member

@pabzm pabzm commented Nov 20, 2024

This adds two bots to this repo:

  1. Automatically comment on every PR that is stale for two weeks.
  2. Allow to manually specify when someone shall be reminded of something.

The latter's usage is /remind [who] [what] [when].

Examples:

/remind me to deploy on Oct 10
/remind me next Monday to review the requirements
/remind me that the specs on the rotary girder need checked in 6 months
/remind @<username> to fix this issue tomorrow

@pabzm
Copy link
Member Author

pabzm commented Nov 20, 2024

@alecpl FYI. If they get annoying we can remove them, but maybe they can help

@pabzm pabzm merged commit c05d44c into master Nov 20, 2024
32 checks passed
@mvorisek
Copy link
Contributor

@pabzm please remove this bot, it is more than annoying.

@pabzm
Copy link
Member Author

pabzm commented Dec 11, 2024

I agree that in the current situation and state of this project, the bot is more annoying than helping → #9726

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