Add support for LGTM_INDEX_FILTERS - #103

Merged

robertbrignull merged 13 commits into

mainfrom

Jul 10, 2020

Commits on Jul 7, 2020

Add support for LGTM_INDEX_FILTERS
robertbrignull
committed
fe3dbb7

Commits on Jul 8, 2020

give better error messages
robertbrignull
committed
dcebdd6
clarify error slightly more
robertbrignull
committed
9fb69dd
trim leading slashes
robertbrignull
committed
abf6f23
filter ** paths
robertbrignull
committed
56417be

Commits on Jul 9, 2020

Commits on Jul 10, 2020

adjust comments
robertbrignull
committed
fb9f2af
Merge branch 'main' into lgtm_filters
robertbrignull
committed
1a4c658
ban / as a path
robertbrignull
committed
189b6ef