git rm - Will git-rm --cached delete another user's working tree files when they pull -


i wish stop tracking files still keep them in working tree.

i've gathered git rm --cached file let me that. however, if else pulls change, their local copies deleted?

yes, copies automatically deleted. imagine if deletion wouldn't happen--then working copies of users polluted piles of deleted files, aren't needed anymore.

however, if remote users made local changes these files, won't deleted, since pull result in merge conflict.

as jefromi suggests in comment, while files removed @ other users' sides, can restored--they're under version-control, aren't they? ;-) files gotten git checkout <revision> -- <files...>. revision may specify id of previous commit, pull it's saved in orig_head (see this question details):

git checkout orig_head -- removed_file 

Comments

Popular posts from this blog

c++ - How do I get a multi line tooltip in MFC -

asp.net - In javascript how to find the height and width -

c# - DataTable to EnumerableRowCollection -