Skip to content

Add cheat for documented but not visible negative and merged filters. #124

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

Merged
merged 3 commits into from
Jun 5, 2015

Conversation

jrafanie
Copy link
Contributor

These are documented here but it's not obvious from github's user interface and some people may not know these things are possible.

@tiimgreen
Copy link
Owner

Thanks for your contribution @jrafanie, a few suggestions though. I think the first title should be called simply 'Filters' to avoid confusion. Also, I think the 'Merged pull requests filter' header is unnecessary and should just be put under the Filters title.

@tiimgreen
Copy link
Owner

@jrafanie any update on this? Would be nice to merge.

@jrafanie
Copy link
Contributor Author

jrafanie commented Jun 4, 2015

Thanks @tiimgreen, missed the prior notification, I'll submit your suggestions shortly.

@jrafanie
Copy link
Contributor Author

jrafanie commented Jun 4, 2015

@tiimgreen Fixed, also added the recent filtering by API status. Let me know if you want them squashed.

Thanks!

@tiimgreen
Copy link
Owner

@jrafanie looks good, just one last thing Read more about searching issues. is duplicated. Could you remove the first one?

@jrafanie jrafanie force-pushed the not_in_issue_pr_filter branch from 8027b7f to ce79653 Compare June 5, 2015 02:05
@jrafanie
Copy link
Contributor Author

jrafanie commented Jun 5, 2015

Thanks @tiimgreen, updated.

@tiimgreen
Copy link
Owner

Awesome, thanks 👍

tiimgreen added a commit that referenced this pull request Jun 5, 2015
Add cheat for documented but not visible negative and merged filters.
@tiimgreen tiimgreen merged commit 96f050f into tiimgreen:master Jun 5, 2015
@jrafanie jrafanie deleted the not_in_issue_pr_filter branch June 5, 2015 03:12
@jrafanie
Copy link
Contributor Author

jrafanie commented Jun 5, 2015

My pleasure, thank you! 😎

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants