How can I delete a file from a remote git repository?
I have a file that I just deleted from a local repository, and I want to delete it from its corresponding remote repository.
How can I delete a file from a remote git repository? I have a
Share
If you deleted a file from the working tree, then commit the deletion:
And push your commit upstream: