Merge branch 'nd/clone-no-separate-git-dir-with-bare'
authorJunio C Hamano <gitster@pobox.com>
Tue, 22 Jan 2013 04:15:07 +0000 (20:15 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 22 Jan 2013 04:15:08 +0000 (20:15 -0800)
commit68434e287988f697a6565cb4666598bd8033f46f
tree62551424eb7a2f661dd775bbab6df32119979066
parente9abef6289706f77186ed852d579c7b222f06502
parent95b63f1ebb1d2b1ae34238cac331dd1e6e437975
Merge branch 'nd/clone-no-separate-git-dir-with-bare'

Forbid a useless combination of options to "git clone".

* nd/clone-no-separate-git-dir-with-bare:
  clone: forbid --bare --separate-git-dir <dir>
builtin/clone.c