Searching in tools/gitlint-extra