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

windows - Why does Vista not allow creation of shortcuts to "Programs" on a NonAdmin account? Not supposed to install apps from NonAdmin account? -

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

unit testing - How to mock PreferenceManager in Android? -