mirror of
https://github.com/git/git.git
synced 2026-02-21 23:30:18 +00:00
For example, it makes no sense to check the presence of a file named "HEAD" when calling "git log HEAD" in a bare repository. Noticed by Han-Wen Nienhuys. Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
6.7 KiB
6.7 KiB