When a .gitignore specifies some folder "foo/", ensure that a file with the same name "foo" is not ignored.
