The stupid non-integration with GitHub shows GH users their standard
Pull Request UX to begin with, but supports virtually no follow-up after
that and is in fact an almost read-only mirror, so the PR flow is not
far off being a black hole. Apparently I had no way to comment there on
GH about what had happened to this PR, nor to mark it as closed myself.
All I could do was request ASF's infra department to close it as they
had the admin rights.