New comment by paper42 on void-packages repository https://github.com/void-linux/void-packages/pull/32331#issuecomment-893596450 Comment: @vcyzteen the pull bot broke your PR, GitHub will automatically close it when something is updated on master, there are 2 possible fixes: a) close this PR and create one from a different branch than master (that's generally a good idea) and make sure to never commit anything to master, because the bot will overwrite it b) disable the pull bot