-
Committer:
Oswald Buddenhagen
-
Date:
2022-06-19 14:12:06 UTC
-
Revision ID:
git-v1:4d75c45507b302d301fee5d6ae413b559f32222a
add --ext-exit option
this is only a partial solution for reporting changes, but it's
adequate if the goal is merely triggering a bulk action, like
re-indexing the local store.
inspired by patches posted by Yuri D'Elia <wavexx@thregr.org>.