tree 8e31d0e4490723e3466d48bf9c6ce9dcb461ee12
parent 0df82d99dae85dbd4f667e95020a146ea0167975
parent 7ec8125fba96f47b00bb0cab3ed716557e81e7e6
author Junio C Hamano <gitster@pobox.com> 1583190438 -0800
committer Junio C Hamano <gitster@pobox.com> 1583190438 -0800

Merge branch 'en/check-ignore'

"git check-ignore" did not work when the given path is explicitly
marked as not ignored with a negative entry in the .gitignore file.

* en/check-ignore:
  check-ignore: fix documentation and implementation to match