New comment by ericonr on void-packages repository https://github.com/void-linux/void-packages/pull/31575#issuecomment-877734538 Comment: Pinging the PR is ok, or join us on IRC and mention it. We can't configure GH to auto-allow CI :/ New package PRs are usually quite low priority, unfortunately.