1
0
mirror of https://github.com/tiimgreen/github-cheat-sheet.git synced 2025-08-09 17:36:37 +02:00

Simpify filter headers.

This commit is contained in:
Joe Rafaniello
2015-06-04 11:11:22 -04:00
parent fb4a079afe
commit e3d97bb95c

View File

@@ -23,8 +23,7 @@ A collection of cool hidden and not so hidden features of Git and GitHub. This c
- [Cross-Link Issues](#cross-link-issues)
- [Locking Conversations](#locking-conversations)
- [CI Status on Pull Requests](#ci-status-on-pull-requests)
- [Negative filters in Issues](#negative-filters-in-issues)
- [Merged pull requests filter](#merged-pull-requests-filter)
- [Filters](#filters)
- [Syntax Highlighting in Markdown Files](#syntax-highlighting-in-markdown-files)
- [Emojis](#emojis)
- [Images/GIFs](#imagesgifs)
@@ -286,7 +285,7 @@ If set up correctly, every time you receive a Pull Request, [Travis CI](https://
[*Read more about the commit status API.*](https://github.com/blog/1227-commit-status-api)
### Negative filters in Issues
### Filters
Both issues and pull requests allow filtering in the user interface.
@@ -302,10 +301,6 @@ Additionally, this also works for pull requests:
`is:pr -label:activerecord`
[*Read more about searching issues.*](https://help.github.com/articles/searching-issues)
### Merged pull requests filter
Github has tabs for displaying open or closed issues and pull requests but you
can also see merged pull requests. Just put the following in the filter: