New comment by abenson on void-packages repository

https://github.com/void-linux/void-packages/pull/35436#issuecomment-1032114120

Comment:
Please don't open/close PRs.  It just adds noise.  I also don't recommend doing this through the web UI, it's easier interacting with git directly.