On Sat, 15 Apr 2017 14:27:00 +0200 Johannes Sixt <j...@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-...@mail.gmail.com/