How can I delete file from remote git repository? I have a file that is just deleted from working copy local repository, and I want delete it from corresponding remote repository
This question is related to
git
Use commands :
git rm /path to file name /
followed by
git commit -m "Your Comment"
git push
your files will get deleted from the repository
A simpler way
git add . -A
git commit -m "Deleted some files..."
git push origin master
-A Update the index not only where the working tree has a file matching but also where the index already has an entry. This adds, modifies, and removes index entries to match the working tree. Taken from (http://git-scm.com/docs/git-add)
I know I am late, but what worked for me (total git newbie) was executing the following set of git commands:
git rm -r --cached .
git add .
git commit -am "Remove ignored files and resubmitting files
To give credit where it is due, here is the link to the source.
If you have deleted lot of files and folders, just do this
git commit -a -m .
git push
if you just commit your deleted file and push. It should then be removed from the remote repo.
If you pushed a file or folder before it was in .gitignore (or had no .gitignore):
git commit (file name with path which you want to delete) -m "file is deleted"
git push
It will work.Multiple selective file also you can delete in remote repository same way.
The easiest thing to do is to move the file from your local directory temporarily, then commit changes to your remote repo. Then add it back to your local repo, make sure to update .gitignore so it doesn't commit to remote again
Delete the files from your Explorer view. You see them crossed-out in your Branch view. Then commit and Sync.
Be aware: If files are on your .gitignore list, then the delete "update" will not be pushed and therefore not be visible. VS Code will warn you if this is the case, though. -> Exclude the files/folder from gitignore temporarily.
git add 'deleted file name'
git commit -m'message'
git push -u origin branch
git rm 'file name'
git commit -m'message'
git push -u origin branch
git rm --cached 'file name'
git commit -m'message'
git push -u origin branch
Source: Stackoverflow.com