diff options
author | Junio C Hamano <gitster@pobox.com> | 2022-08-26 11:13:12 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-08-26 11:13:12 -0700 |
commit | 10f9eab3473c568264e0f2437d7031c5bb6bb443 (patch) | |
tree | 0bae9db3abf709d6559d657ba483fcfe7a8110d1 /builtin/commit-graph.c | |
parent | 6283c1e6ad2b37be2ec2c312434ff5aebd899ba5 (diff) | |
parent | 3f7207e2ea967fd2b46d9e0ae85246e93b38ed58 (diff) |
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
Diffstat (limited to 'builtin/commit-graph.c')
0 files changed, 0 insertions, 0 deletions