Hi, There are hundreds of GitHub PRs pending review. Many of them just sit there wasting Jenkins resources.
I suggest: (1) close PRs that went stale (i.e. doesn't compile). Or even close PRs that hasn't been reviewed for more than a year. (1) close PRs that doesn't have a JIRA number. No one is going to review a big PR that doesn't have a JIRA anyway. (2) For PRs without JIRA number, file JIRAs for the PR on behalf of the reporter. (3) For typo fixes, merge the PRs directly without a JIRA. IMO, this is the best use of GitHub PR. Thoughts?
