support deleting diretories from repo

akostadinov · akostadinov · commit 4a875c22f5cb · 2026-04-01T22:27:12.000+03:00
diff --git a/merge-overlay b/merge-overlay
@@ -209,7 +209,7 @@ process_file() {
       case "$choice" in
         y)
           if [[ -e "$original_repo_file" ]]; then
-            rm -f "$original_repo_file"
+            rm -rfv "$original_repo_file"
             echo -e "${GREEN}✓${NC} Deleted from repository"
           fi
           rm -f "$overlay_file"
