Jonathan.Abbott45 answered on June 10th 19 at 16:12
Usually in your branch to do the commit with amend - to change the last comment. Ie to delete files or revertall. git add..., git commit-a and push with force git push -f
Daphnee_Medhurst8 answered on June 10th 19 at 16:14
If it is about PR - you can just make a new commit with the removal of these files (git rm somefile), and then make a squash (to glue together a number of commits into one, about it can be read separately) for branches with this PR, make a separate branch where everything is merged into a single commit where these files will no longer be in the history, and the old branch to delete and push the delete (git push --delete origin some_branch_to_remove).
modesto.Zulauf39 answered on June 10th 19 at 16:16
Usually it's very simple.
If the history of the commits you are not worried about +/- one commit, then this can be solved by simply adding another commit. In this commit, delete those same files (should be done in the same thread which was sent to the PR).
If you supesite changes in the branch. You will see that a commit is automatically pulled into the PR.