New comment by abenson on void-packages repository

https://github.com/void-linux/void-packages/pull/35149#issuecomment-1017978453

Comment:
Don't open and close pull requests, it just creates a lot of noise.  You can amend your commits and force push.