Description
We have a bunch of open github PRs. Some of them might turn into things we can close as a part of pushing a fix; mostly they're just missing a jira because folks showed up at github first.
Others look like mistaken pull requests or are things we've already pushed but without noting it.
To clean up the latter, we should push an empty commit that says it closes the issues.