Filter by number of contributors with at least 5 contributions

[abelsiqueira]

Description

Keep only repos that have at least 3 contributors with at least 5 contributions each. At the current stage, there were 45 repos, and after this filter, there are 31.

Related issues:

• 36

Instructions to review the pull request

• Make a GitHub Access token here https://github.com/settings/tokens
  • Make sure you copy it when it appears on screen, because you can't see it again. You can reset it, though.
• export GITHUB_TOKEN as an environment variable with the token above
• install Node >= 14

• cd $(mktemp -d --tmpdir cffbot-XXXXXX)
  git clone https://github.com/cffbots/filtering .
  git checkout <this-branch>
  npm install
  node query.mjs

[abelsiqueira]

Thanks for the review