diff options
| author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2008-03-24 18:14:52 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-03-25 10:34:05 +0300 |
| commit | 5cc8f372509298d13632d8784bc851a587937550 (patch) | |
| tree | f05904feb2d9ee3e5f277b77d731644c765a85cf /remote.c | |
| parent | 76ce946294bd17f350c7c0a3927d8986b73ed480 (diff) | |
init: show "Reinit" message even in an (existing) empty repository
Earlier, git-init tested for a valid HEAD ref, but if the repository
was empty, there was none. Instead, test for the existence of
the file $GIT_DIR/HEAD.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'remote.c')
0 files changed, 0 insertions, 0 deletions