Delete file(s) from git repository without deleting it from local filesystem of all local filesystem

Question

I have made a mistake. I added a file to a git repository which should be deleted.

Ok, this question was asked multiple times on SO. The solution is:

git rm (-r) --cached myfiletodelete

If I do this, the file is not deleted on MY local system. But, if colleagues do a PULL, the file is deleted on their system.

How can I avoid this? In other words, I want to delete the file only in 'origin', but not in any other local repository and then put it on gitignore.

You can’t. Removing the file from Git adds a “removal step” that is carried out when the commit is checked out. So the file is removed. — poke
– poke, Commented Jan 31, 2017 at 14:10

Andrew Marshall · Accepted Answer · 2017-01-31 14:13:58Z

2

It’s not possible to have Git do this for you (short of setting up Git hooks on every machine—not a good solution here). git pull is getting the latest changes, and those changes include deleting that file. You’ll have to instruct others to manually put the file back. You’d have to provide some way for others who are pulling for the first time to get it as well anyway, so just instruct them in the same manner.

answered Jan 31, 2017 at 14:13

Andrew Marshall

97.3k20 gold badges228 silver badges217 bronze badges

Sign up to request clarification or add additional context in comments.

Collectives™ on Stack Overflow

Delete file(s) from git repository without deleting it from local filesystem of all local filesystem

1 Answer 1

Comments

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

1 Answer 1

Comments

Your Answer

Sign up or log in

Post as a guest

Related