diff options
| author | Patrick Georgi <pgeorgi@google.com> | 2018-11-21 22:07:38 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2018-12-05 15:21:21 +0000 |
| commit | 571477b514f591d6db3a71142a135b25d07f2c3e (patch) | |
| tree | 5fb7d3ee364339e7e9a00728f45e5a0cd26212a3 /src/device | |
| parent | 8bed5efad7d9444fdf02665eac3ad84efb35d42e (diff) | |
util/scripts/maintainers.go: file: queries are more stable with quotes
The gerrit docs aren't very explicit about it, but file:"^foo$" is more
robust than file:^foo$.
Change-Id: I16c7d972d365cd04ca5fbb78012ad4eaad667be6
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/29781
Reviewed-by: Martin Roth <martinroth@google.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'src/device')
0 files changed, 0 insertions, 0 deletions