tree 0513ab09343450a3b9a5528c884a54933944fbed
parent 765428699a5381f113d19974720bc91b5bfeaf1d
parent 3ec804490a265f4c418a321428c12f3f18b7eff5
author Junio C Hamano <gitster@pobox.com> 1493954275 +0900
committer Junio C Hamano <gitster@pobox.com> 1493954275 +0900

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