Merge branch 'js/init-db-update-for-mingw'
authorJunio C Hamano <gitster@pobox.com>
Tue, 16 Apr 2019 10:28:05 +0000 (19:28 +0900)
committerJunio C Hamano <gitster@pobox.com>
Tue, 16 Apr 2019 10:28:05 +0000 (19:28 +0900)
"git init" forgot to read platform-specific repository
configuration, which made Windows port to ignore settings of
core.hidedotfiles, for example.

* js/init-db-update-for-mingw:
  mingw: respect core.hidedotfiles = false in git-init again


No differences found