New comment by tibequadorian on void-packages repository https://github.com/void-linux/void-packages/issues/36263#issuecomment-1075432979 Comment: Maybe we could write "please skip CI as described in https://github.com/void-linux/void-packages/blob/master/CONTRIBUTING.md#continuous-integration" to avoid confusion?