Merge branch 'js/early-config' into maint
authorJunio C Hamano <gitster@pobox.com>
Wed, 15 Nov 2017 03:05:01 +0000 (12:05 +0900)
committerJunio C Hamano <gitster@pobox.com>
Wed, 15 Nov 2017 03:05:01 +0000 (12:05 +0900)
Correct start-up sequence so that a repository could be placed
immediately under the root directory again (which was broken at
around Git 2.13).

* js/early-config:
setup: avoid double slashes when looking for HEAD

1  2 
setup.c
diff --cc setup.c
Simple merge