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 /contrib/scalar/scalar.txt | |
parent | scalar: 'unregister' stops background maintenance (diff) | |
download | tgif-f5f0842d0b53cfd9e1dd0707f230b4fe1af12720.tar.xz |
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 'contrib/scalar/scalar.txt')
0 files changed, 0 insertions, 0 deletions