From: KES <kes-kes@yandex.ru>
Date: Sat, 15 Apr 2017 11:36:14 GMT
Subject: Git allow to unconditionaly remove files on other developer host
Message-ID: <4747541492256174@web25g.yandex.ru>

Hi.

That curious, but git allow to unconditionally delete files on other developer host when he do `git pull`

How to reproduce:

1. File should be ignored:
echo "somefile" >> .gitignore

2. Add this ignored file into repository
git add -f somefile

3. Push changes to origin
git push

4. When other developer has also 'somefile' on his host and when he does
git pull

Content of hist local `somefile` file will be replaced by content pushed by first developer

EXPECTED: git should warn about that content will be replaced and do not pull/checkout until we force pull/checkout