tree 5b0fc41171176ae07772e5e196b335e4c3dab65c
parent 5ca82e339e1f02aa16cf91f4424ea31bebd9956a
parent dfaa209a79a831e8ff4f6b8e14a8b0c35b4f6b6e
author Junio C Hamano <gitster@pobox.com> 1596140432 -0700
committer Junio C Hamano <gitster@pobox.com> 1596140432 -0700

Merge branch 'bw/fail-cloning-into-non-empty' into master

"git clone --separate-git-dir=$elsewhere" used to stomp on the
contents of the existing directory $elsewhere, which has been
taught to fail when $elsewhere is not an empty directory.

* bw/fail-cloning-into-non-empty:
  git clone: don't clone into non-empty directory