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

Allow filtering bots out #20

Closed
jacobrosenthal opened this issue Dec 14, 2018 · 0 comments
Closed

Allow filtering bots out #20

jacobrosenthal opened this issue Dec 14, 2018 · 0 comments
Labels
feature request
Projects
DevHub
Milestone
v0.92.0

Comments

@jacobrosenthal
Copy link

No description provided.

@brunolemos brunolemos changed the title Feature request: Organization view mute user (ie greenkeeper, bors bots) Allow filtering some users out (e.g. bots, ...) Dec 17, 2018
@brunolemos brunolemos added this to To do in DevHub Dec 17, 2018
@brunolemos brunolemos moved this from To do to Next in DevHub Jan 30, 2019
@brunolemos brunolemos pinned this issue Jan 31, 2019
@brunolemos brunolemos unpinned this issue Feb 4, 2019
@brunolemos brunolemos mentioned this issue Mar 29, 2019
Closed
8 tasks
@brunolemos brunolemos moved this from Next to In progress in DevHub Mar 29, 2019
@brunolemos brunolemos changed the title Allow filtering some users out (e.g. bots, ...) Allow filtering bots out Jun 21, 2019
DevHub automation moved this from In progress to Done Jun 21, 2019
@brunolemos brunolemos added this to the v0.92.0 milestone Jun 21, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
feature request
Projects
DevHub
  
Done
Milestone
v0.92.0
Development

No branches or pull requests
2 participants
@jacobrosenthal @brunolemos