git check-ignore returns included files

[Julien Cretin <git@ia0.eu>]

Hello,

Is it expected for check-ignore to output included files (using a "!"
prefix)?

Steps to reproduce:

    git init foo
    cd foo
    touch bar
    echo '/bar\n!/bar' > .gitignore
    git add bar .gitignore
    git commit -mbar
    git check-ignore --verbose --no-index bar

Actual behavior:

    .gitignore:2:!/bar	bar

exit code = 0

Expected behavior:

no output

exit code = 1

I tested with the next branch, which is currently at
8a191e187a9dca3d786c0197f9610e627b4f4137.

The man page of check-ignore says:
« For each pathname [...], check whether the file is excluded by
.gitignore [...] and output the path if it is excluded. »
and:
« If the pattern contained a ! prefix or / suffix, it will be
preserved in the output. »

The man page of gitignore says:
« An optional prefix "!" which negates the pattern; any matching file
excluded by a previous pattern will become included again. »

I am not sure how I should understand this situation.

Best regards,
Julien