there were 23 commits, so I ran git reset --soft HEAD~22 and deleted 96 files. Was that the procedure?
This removed the commits only for you locally, they are still here in the repository. Just the delete (`git rm` as @elextr said) the files mentioned in one of my comments above.
hello, I created a repository and did the tests in the CI and managed to fix the problem. I've updated the current repository and I'm waiting for it to run on CI. Could you perform this action for me?
I just approved the CI pipeline, so further pushes will be checked automatically.