Merge branch 'nd/clone-no-separate-git-dir-with-bare' into maint
authorJunio C Hamano <gitster@pobox.com>
Mon, 25 Feb 2013 16:03:27 +0000 (08:03 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 25 Feb 2013 16:03:27 +0000 (08:03 -0800)
commit0e0c3f25d07c60a4516b0b4bd22135b416f127e7
treee2e3f857aafd38a4f201d1f96e6af97df1e01c90
parenta8e00d7b83e0c810a16cb441b9d0601be7706f2c
parent95b63f1ebb1d2b1ae34238cac331dd1e6e437975
Merge branch 'nd/clone-no-separate-git-dir-with-bare' into maint

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