New comment by pullmoll on void-packages repository

https://github.com/void-linux/void-packages/pull/26273#issuecomment-725454228

Comment:
You can always fix your local branch and then *force push* to it with `git push -f`.
No need to open new PRs for the same request.