New comment by q66 on void-packages repository https://github.com/void-linux/void-packages/pull/18358#issuecomment-575862332 Comment: you know, you don't need to close PRs when you commit something bad, all you have to do is amend your changes and force-push into the branch