New comment by ashbhat1 on void-packages repository https://github.com/void-linux/void-packages/pull/18709#issuecomment-581066801 Comment: ok, It seems the commit didn't implement my change. I need to go back and fix it, I tried using git commit --amend and git push -f. I am trying to see how I won't pollute the merge request.