New comment by classabbyamp on void-packages repository https://github.com/void-linux/void-packages/pull/35809#issuecomment-1049295356 Comment: in the future, no need to close/open PRs, just use `git push --force`