Merge branch 'js/safe-directory-plus' into maint
commit10f9eab3473c568264e0f2437d7031c5bb6bb443
authorJunio C Hamano <gitster@pobox.com>
Fri, 26 Aug 2022 18:13:12 +0000 (26 11:13 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 26 Aug 2022 18:13:12 +0000 (26 11:13 -0700)
tree0bae9db3abf709d6559d657ba483fcfe7a8110d1
parent6283c1e6ad2b37be2ec2c312434ff5aebd899ba5
parent3f7207e2ea967fd2b46d9e0ae85246e93b38ed58
Merge branch 'js/safe-directory-plus' into maint

Platform-specific code that determines if a directory is OK to use
as a repository has been taught to report more details, especially
on Windows.
source: <pull.1286.v2.git.1659965270.gitgitgadget@gmail.com>

* js/safe-directory-plus:
  mingw: handle a file owned by the Administrators group correctly
  mingw: be more informative when ownership check fails on FAT32
  mingw: provide details about unsafe directories' ownership
  setup: prepare for more detailed "dubious ownership" messages
  setup: fix some formatting
compat/mingw.c
setup.c