New comment by myothk on void-packages repository

https://github.com/void-linux/void-packages/pull/50999#issuecomment-2191533506

Comment:
Hello, @oreo639. Do I need to force push again so that this PR will get merged?