New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/28373#issuecomment-770542231

Comment:
You're trying to merge it with itself, this just shouldn't happen... Are you pushing with `git push -f` ?