diff options
| author | Patrick Steinhardt <ps@pks.im> | 2024-04-15 13:30:36 +0200 |
|---|---|---|
| committer | Johannes Schindelin <johannes.schindelin@gmx.de> | 2024-04-17 00:01:26 +0200 |
| commit | 8c9c051bef3db0fe267f3fb6a1dab293c5f23b38 (patch) | |
| tree | 2de8610d3fa204f0aa0bcb62d5a9a356ffd94b7a /builtin/commit-graph.c | |
| parent | d1bb66a546b4bb46005d17ba711caaad26f26c1e (diff) | |
setup.c: introduce `die_upon_dubious_ownership()`
Introduce a new function `die_upon_dubious_ownership()` that uses
`ensure_valid_ownership()` to verify whether a repositroy is safe for
use, and causes Git to die in case it is not.
This function will be used in a subsequent commit.
Helped-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Signed-off-by: Patrick Steinhardt <ps@pks.im>
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Diffstat (limited to 'builtin/commit-graph.c')
0 files changed, 0 insertions, 0 deletions