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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

bot for answered issues #5563

Merged
merged 6 commits into from
Jun 8, 2020
Merged

Conversation

svlandeg
Copy link
Member

@svlandeg svlandeg commented Jun 8, 2020

Description

Adding bot by @tiangolo to follow up on issues that got the label answered

  • Currently runs at midnight
  • Removes the label when someone (anyone) replies
  • Automatically closes after 3 days
  • Writes a message "This issue has been automatically closed because it was answered and there was no follow-up discussion."

All of these parameters can be changed. Though the bot currently can't make a distinction between anyone replying, or restricting to only the original poster for instance.

This bot can be generalized to manage multiple labels. If we want it to cover also more-info-needed for instance, we could have a .yml file like this one: https://github.com/svlandeg/TestRepo/blob/master/.github/workflows/issue-manager.yml

Let's merge-squash these commits - JSON as a string in YAML proved to be a bit of a challenge at least for me 馃槆

Types of change

enhancement

Checklist

  • I have submitted the spaCy Contributor Agreement.
  • I ran the tests, and all new and existing tests passed.
  • My changes don't require a change to the documentation, or if they do, I've added all required information.

@svlandeg svlandeg added the meta Meta topics, e.g. repo organisation and issue management label Jun 8, 2020
@honnibal honnibal merged commit d1799da into explosion:master Jun 8, 2020
@svlandeg svlandeg deleted the feature/answered-bot branch June 8, 2020 18:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
meta Meta topics, e.g. repo organisation and issue management
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants