New comment by Chocimier on void-packages repository https://github.com/void-linux/void-packages/pull/37968#issuecomment-1274235102 Comment: W dniu 13.07.2022 o 20:11, meator pisze: > Please try to avoid closing and opening the same pull request. The contributing guide shows how to forcefully overwrite your branch when you have issues with your git history. This will work without closing your pull request. Good point. > I know Void's commit policy is strange, but there has to be one commit per package. You should never force push to publicly visible repositories unless you have a good reason to do so, but Void doesn't care about that. One should only avoid altering branches _that others base work on_. PR branches here are not like that, because they are short, single purpose, and others rewrite anyway. Void-packages master is never rewritten, we push supplemental or `revert` commit if pushed one is wrong.