Treat detached HEAD as non-empty repo
This simplifies the git_repository_is_empty a bit so that a detached HEAD is just taken to mean the repo is not empty, since a newly initialized repo will not have a detached HEAD.
Showing
Please
register
or
sign in
to comment