From: Konstantin Khomoutov <kostix+git@007spb.ru>
Date: Sat, 15 Apr 2017 12:53:24 GMT
Subject: Re: Git allow to unconditionaly remove files on other developer host
Message-ID: <20170415155324.8b011f5a0e524f8b46a235c9@domain007.com>
In-Reply-To: <c09e2447-a528-9da1-9936-9b0ebfdddd78@kdbg.org>

On Sat, 15 Apr 2017 14:27:00 +0200
Johannes Sixt <j6t@kdbg.org> wrote:

> > That curious, but git allow to unconditionally delete files on
> > other developer host when he do `git pull`
[...]
> Know that Git regards everything mentioned in .gitignore as
> dispensible; IOW, by mentioning a file in .gitignore you actually
> give permission to remove the file if necessary. Git does not have a
> feature to say "ignore this file, but it is precious".

KES, you might also be interested in this recent thread [1].

1. http://public-inbox.org/git/CAPUVn2u0Uos2mT5+4ejj8m0okNK6XwerL6ce2miHfhtuEs-ZnQ@mail.gmail.com/