New comment by Piraty on void-packages repository https://github.com/void-linux/void-packages/pull/46648#issuecomment-1779063911 Comment: in general, keep changes unrelated to the PR out of the branch