New comment by reback00 on void-packages repository

https://github.com/void-linux/void-packages/pull/15278#issuecomment-543545924

Comment:
I had a corruption of my local git repo, because my machine hanged in the middle. I managed to do a commit, but now ~17k are included in the commit! Can anyone help me solve that?

I did the `git add srcpkgs/textadept` and `git commit --amend` and then `git push -f`, but there are some other files now in the commit. Furthermore, the PR is closed automatically.