New comment by jsav0 on void-packages repository

https://github.com/void-linux/void-packages/pull/25392#issuecomment-705103017

Comment:
@ericonr 
Thanks. Will you explain what you mean by "just force push into the remote branch"?