[LUCENE-8861] Script to find open PRs that needs attention

• Type: New Feature
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 8.2
• Component/s: general/tools
• Lucene Fields: New
• Assignee: Jan Høydahl
• Reporter: Jan Høydahl
• Created: 14/Jun/19 11:22
• Updated: 28/Aug/22 15:47
• Resolved: 14/Jun/19 11:31

Description

usage: githubPRs.py [-h] [--json] [--token TOKEN]

Find open Pull Requests that need attention

optional arguments:
  -h, --help     show this help message and exit
  --json         Output as json
  --token TOKEN  Github access token in case you query too often anonymously

Issue Links

• links to: GitHub Pull Request #719