Delete zets from Git

This commit is contained in:
Oliver Davies 2025-09-07 10:08:08 +01:00
parent 54f8ab8bdf
commit 87f8dd96a0

5
zet
View file

@ -44,6 +44,11 @@ delete_zet() {
if [[ -d "$dir" ]]; then if [[ -d "$dir" ]]; then
mv -v "$dir" "/tmp/zet-${id}" mv -v "$dir" "/tmp/zet-${id}"
run_git_command rm -r "$dir"
commit_message="Delete ${id}"
run_git_command commit -m "$commit_message"
update_zet_list update_zet_list
else else
echo "Note not found: $id" >&2 echo "Note not found: $id" >&2