Provide option to filter contributors

[donmahallem]

Initial checklist

• I read the support docs
• I read the contributing guide
• I agree to follow the code of conduct
• I searched issues and couldn’t find anything (or linked relevant results below)

Problem

Currently only greenkeeper is statically ignored in the list of contributors but other "popular" Github Bots aren't.

Solution

As it would be cumbersome to statically programm "every" bot contributor to the source I propose adding a "Default" list of ignored accounts and adding a property/array to the plugin options which describe the ignored accounts.

One option would be to use "simple" descriptors like:

{ name?:string,mail?:string}

Alternatives

Another option would be to use json-schemas to go the extra mile.

[wooorm]

don’t bots nowadays all have a [bot] suffix in their username? Could we use that?

[donmahallem]

You are right. But for older repos there are still other non [bot] bot contributors. For example dependabot. I believe there should still be an option to provide additional exclusions. In general filtering by [bot] suffix should be good enough to catch most general cases.

[wooorm]

Could there be a case in favor of including bots? 🤔

Generally I think you’re right that this is a good addition. Not 100% on how to do it though?

[donmahallem]

@wooorm there is.

Options could be

1. Default Bot Block list, which can be overwritten/disabled/expanded
2. No default Block List

In either case there should be a way to specify a regex/match list for relevant properties like username or mail.

Optionally providing filter functions to the plugin isn't encouraged probably?

[wooorm]

Released in 5.1.0!