Re: behaviour of .gitignore

"J.V." [off-list ref] writes:

On my local machine, I create a /bin/ directory added some bash
scripts, comitted and then pushed them to the repository.

Can you check that "git show --stat" on the commit you did actually
shows the files as added?

Now today I do a git pull and they are gone but cannot see that anyone
deleted them in the git log / history, but there is a /bin/ entry in
the .gitignore file.

What does "git log -- bin" say?

What does "git status" say?

-- 
Matthieu Moy
http://www-verimag.imag.fr/~moy/