diff options
| author | Michael Muré <batolettre@gmail.com> | 2019-04-05 17:00:41 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-05 17:00:41 +0200 |
| commit | 16d2b92f0558184dde4151e96addaa621f51ac13 (patch) | |
| tree | afb0864b94c5a71d3d43f424c76e3211215fd1dc /doc/queries.md | |
| parent | 4184beaf559ed01ba72107e48e1b6ddee30c75a0 (diff) | |
| parent | 1d00ded250102c23c0a106e14d88875d342f7880 (diff) | |
| download | git-bug-16d2b92f0558184dde4151e96addaa621f51ac13.tar.gz | |
Merge pull request #121 from A-Hilaly/query-humanid
Support matching identities with ID and truncated ID
Diffstat (limited to 'doc/queries.md')
| -rw-r--r-- | doc/queries.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/queries.md b/doc/queries.md index f95a1278..0c881f35 100644 --- a/doc/queries.md +++ b/doc/queries.md @@ -11,6 +11,7 @@ A few tips: - queries are case insensitive. - you can combine as many qualifiers as you want. - you can use double quotes for multi-word search terms. For example, `author:"René Descartes"` searches for bugs opened by René Descartes, whereas `author:René Descartes` will throw an error since full-text search is not yet supported. +- instead of a complete ID, you can use any prefix length. For example `participant=9ed1a`. ## Filtering |