From e3d97bb95caec8d7d3037cdb638b3660f6b696de Mon Sep 17 00:00:00 2001 From: Joe Rafaniello Date: Thu, 4 Jun 2015 11:11:22 -0400 Subject: [PATCH] Simpify filter headers. --- README.md | 9 ++------- 1 file changed, 2 insertions(+), 7 deletions(-) diff --git a/README.md b/README.md index c3a2e6f..c01fb23 100644 --- a/README.md +++ b/README.md @@ -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: