New comment by avoidr on void-packages repository https://github.com/void-linux/void-packages/pull/22299#issuecomment-633716274 Comment: Does `[ci skip]` even work in PR first message? I had only edited it, not sure if I was too late or it only works in commit messages.