diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2021-12-03 13:34:21 +0000 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2021-12-04 21:52:23 -0800 |
| commit | f5f0842d0b53cfd9e1dd0707f230b4fe1af12720 (patch) | |
| tree | b71d43a8fcf7213295785e706e53d03211dc222a /commit-graph.c | |
| parent | c76a53eb71c5d0d931b1f95a9933913ecef9e4ad (diff) | |
| download | git-f5f0842d0b53cfd9e1dd0707f230b4fe1af12720.tar.gz | |
scalar: let 'unregister' handle a deleted enlistment directory gracefully
When a user deleted an enlistment manually, let's be generous and
_still_ unregister it.
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