GitHub bot that invites contributors to join bokeh-dev

[pavithraes]

As documented in BEP 4 here:

The minimum criteria for joining @bokeh/dev is acceptance of two substantive pull requests to a Bokeh project. Anyone meeting this threshold who also agrees to join, may be added to @bokeh/dev by any member of the core team, without discussion. Generally, a core team member will try to extend an invitations when new contributors first become active, however users may also self-nominate themselves to any core team member.

It'll be nice to have a bot that identifies contributors who have 2 PRs merged (PRs made in reasonably quick succession) and invites them to join @bokeh-dev.

[bryevdv]

I don't know if there is a bot that does this out of the box. I'd love to be surprised 😄 But if not, maybe there is a way we can query the GH graphql API to report on:

• who's made 2+ PRs
• is not already in @bokeh/dev
• has not already turned down an invite