diff options
| author | Aaron Lipman <alipman88@gmail.com> | 2020-09-19 00:58:42 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-09-19 01:41:56 +0300 |
| commit | b59cdffd7e3d791ee289ebb46d7109ad3d51d7ea (patch) | |
| tree | a6f5f6a7737def768695e1dbcbb02a2454551ec2 /Documentation/ref-reachability-filters.txt | |
| parent | a1b19aa5d43c46fc570f6946ab5ad001dccc8cdf (diff) | |
Doc: prefer more specific file name
Change filters.txt to ref-reachability-filters.txt in order to avoid
squatting on a file name that might be useful for another purpose.
Signed-off-by: Aaron Lipman <alipman88@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/ref-reachability-filters.txt')
| -rw-r--r-- | Documentation/ref-reachability-filters.txt | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Documentation/ref-reachability-filters.txt b/Documentation/ref-reachability-filters.txt new file mode 100644 index 0000000000..9bae46d84c --- /dev/null +++ b/Documentation/ref-reachability-filters.txt @@ -0,0 +1,7 @@ +When combining multiple `--contains` and `--no-contains` filters, only +references that contain at least one of the `--contains` commits and +contain none of the `--no-contains` commits are shown. + +When combining multiple `--merged` and `--no-merged` filters, only +references that are reachable from at least one of the `--merged` +commits and from none of the `--no-merged` commits are shown. |