Merge branch 'jk/shell-no-repository-that-begins-with-dash' into maint-2.4
authorJunio C Hamano <gitster@pobox.com>
Fri, 5 May 2017 03:17:55 +0000 (12:17 +0900)
committerJunio C Hamano <gitster@pobox.com>
Fri, 5 May 2017 03:17:55 +0000 (12:17 +0900)
commit5a4ffdf5873bc15af39a59eef4766cc4240ed586
tree0513ab09343450a3b9a5528c884a54933944fbed
parent765428699a5381f113d19974720bc91b5bfeaf1d
parent3ec804490a265f4c418a321428c12f3f18b7eff5
Merge branch 'jk/shell-no-repository-that-begins-with-dash' into maint-2.4

* jk/shell-no-repository-that-begins-with-dash:
  shell: disallow repo names beginning with dash