diff options
author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2022-08-08 13:27:47 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-08-08 09:25:40 -0700 |
commit | 17d3883fe9c88b823002ad9fafb42313ddc3d3d5 (patch) | |
tree | 25e09eb1ecc069535b76559de03a50406db22fc6 /commit-graph.c | |
parent | d51e1dff980b9fc87002436b6ab36120a39816b1 (diff) |
setup: prepare for more detailed "dubious ownership" messages
When verifying the ownership of the Git directory, we sometimes would
like to say a bit more about it, e.g. when using a platform-dependent
code path (think: Windows has the permission model that is so different
from Unix'), but only when it is a appropriate to actually say
something.
To allow for that, collect that information and hand it back to the
caller (whose responsibility it is to show it or not).
Note: We do not actually fill in any platform-dependent information yet,
this commit just adds the infrastructure to be able to do so.
Based-on-an-idea-by: Junio C Hamano <gitster@pobox.com>
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'commit-graph.c')
0 files changed, 0 insertions, 0 deletions