I use the command git rm --cached mylogfile. To avoid losing the file on productive system i do a backup of the file and pull after this.
The file get's deleted as mentioned before and need to be copied back from your backup. This is quite a pain, but i found no better solution for this problem. Show 6 more comments. To remove an entire folder from the repo like Resharper files , do this: git rm -r --cached folderName I had committed some resharper files, and did not want those to persist for other project users.
Sam Tyson Sam Tyson 4, 4 4 gold badges 24 24 silver badges 33 33 bronze badges. That will pull the files back down into your local repo. You have to do a Git Push repo branch to actually remove the files from the remote. Bruno Brant 7, 6 6 gold badges 42 42 silver badges 77 77 bronze badges. Does not work on Windows. Do you know how to do that? Love this. Worked except that I had some files that ended up having spaces in filename.
I modified solution here to this: git ls-files -i -X. Please consider modifying or adding this solution to the answer here, because it is a great tool to have I didn't try but it should be tested will it remove also files like.
By removing all from repo under uploads it will remove also. Show 3 more comments. Steps to remove directory git rm -r --cached File-or-FolderName git commit -m "Removed folder from repository" git push origin master Steps to ignore that folder in next commits To ignore that folder from next commits make one file in root named. Community Bot 1 1 1 silver badge. Suresh Karia Suresh Karia A more generic solution: Edit.
Rebuild index. Make new commit git commit -m "Removed mylogfile. Math Bob 1 1 silver badge 5 5 bronze badges. Will this actually delete the file? From GitHub? If you have already pushed to github it will not remove it from the site. But it will update your local git repository.
The comment you deleted was more eliminated actually : The problem with the solution rm --cashed is that it will eventually delete the file when one pulls - right? And this is not what people want when they say "Remove a file from the repository without deleting it from the local filesystem ". Now why was the solution above accepted is beyond me - probably the OP was working alone and never pulled? See you again! References: Remove file or folder only from remote repo.
Save my name, email, and website in this browser for the next time I comment. Contents hide. Remove file or folder from remote repo only. Your email address will not be published. Save my name, email, and website in this browser for the next time I comment. Toggle navigation. Related posts:. How to Exclude File in Git Commit. How to Create Remote Git Branch.
VS Code will warn you if this is the case, though. 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. I know I am late, but what worked for me total git newbie was executing the following set of git commands:.
To give credit where it is due, here is the link to the source. Stack Overflow for Teams — Collaborate and share knowledge with a private group. Create a free Team What is Teams? Collectives on Stack Overflow. Learn more. Git - how delete file from remote repository Ask Question. Asked 9 years, 10 months ago. Active 7 months ago.
Viewed k times. Add a comment. Active Oldest Votes. If you deleted a file from the working tree, then commit the deletion: git commit -a -m "A file was deleted" And push your commit upstream: git push.
0コメント