New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/25347#issuecomment-703326088

Comment:
Next time, you can force push into the branch on the machine with a different branch which doesn't have issues. This helps avoid the noise.