New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/23695#issuecomment-662589114

Comment:
Not exactly. Can you check if `git log` shows all the commits that are in https://github.com/void-linux/void-packages/pull/23695/commits ? If not, you can run `git push -f origin master`.