Re: Checkout deleted semi-untracked file

2018-11-06 Thread Ævar Arnfjörð Bjarmason
On Tue, Nov 06 2018, Steffen Jost wrote: > Hello! > > A brief discussion on the git user mailing list on Google Groups recommended > me to file the following as a bug report. > > The problem led to an actual file loss, but I suspect that this might be > intended: > > 1) .gitignore is added to

Checkout deleted semi-untracked file

2018-11-06 Thread Steffen Jost
Hello! A brief discussion on the git user mailing list on Google Groups recommended me to file the following as a bug report. The problem led to an actual file loss, but I suspect that this might be intended: 1) .gitignore is added to the repository (which then causes problems) 2) A file is a