New comment by sgn on void-packages repository

https://github.com/void-linux/void-packages/pull/21513#issuecomment-623040775

Comment:
Next time, in your cli interface:

    git commit --amend
    git push --force origin HEAD