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

Add bot support for the repo #134

Open
WickedBrat opened this issue Feb 15, 2019 · 1 comment
Open

Add bot support for the repo #134

WickedBrat opened this issue Feb 15, 2019 · 1 comment
Assignees
@ananya
Labels
enhancement New feature or request priority: medium Needs fixing with medium priority

Comments

@WickedBrat
Copy link
Member

Add the bot @cynthesizebot on the repo to track issues and user comments and maintenance for the issues and PRs
@WickedBrat WickedBrat added enhancement New feature or request priority: medium Needs fixing with medium priority labels Feb 15, 2019
@WickedBrat WickedBrat changed the title Add bot support the repo Add bot support for the repo Feb 17, 2019
@WickedBrat
Copy link
Member Author

@ananya-agrawal any updates on this?

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

@ananya ananya

Labels
enhancement New feature or request priority: medium Needs fixing with medium priority
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@ananya @WickedBrat