Reputation: 63
I committed and pushed my local repo after I deleted a file, but I couldn't sync it with the remote repo, the file I deleted still remains the remote repo.
Upvotes: 0
Views: 109
Reputation: 3938
If you deleted a file from the local repo, then commit the deletion:
git commit -a -m "A file was deleted"
And push your commit to remote:
git push
This should delete the file from remote repo too which you did from your local repo.
Upvotes: 1