How to delete file after pushed the commit?
27112
How can I remove a commit on GitHub?
45730
Remove the latest modified file
65577
Remove a file from a Git repository without deleting it from the local filesystem
5168
How to force delete a file?
75835
Permission Denied To Delete File
14886
Delete commits from a branch in Git
18114
How to modify a specified commit?
129670
How to clean up unnecessary files
81184
Delete a file being used by another process
38222
How do you remove a specific revision in the git history?
101387
How can I keep the original file [commit] timestamp on Subversion?
122315
Handling temporary changes (not to be committed) in Git
35476
How do I revert a Git repository to a previous commit?
15543
git merge: Removing files I want to keep!
12917
How do I delete a file whose name begins with "-" (hyphen a.k.a. dash or minus)?
75936
How to make git mark a deleted and a new file as a file move?
53230
How do I discard unstaged changes in Git?