From 27a1be729fbdb4869fbefe355cdb21e46fb82422 Mon Sep 17 00:00:00 2001 From: Tero Halla-aho Date: Mon, 24 Nov 2025 23:37:13 +0200 Subject: [PATCH] chore: record docs and cleanup updates --- PROGRESS.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/PROGRESS.md b/PROGRESS.md index e779399..57dcf66 100644 --- a/PROGRESS.md +++ b/PROGRESS.md @@ -48,6 +48,8 @@ - Profile page now allows editing name and password (email immutable). - Docs: Added docs in `docs/` (tracked, not shipped) with HTML + PlantUML sequences + draw.io diagrams. Ignored from deploy via runtime paths; kept in git. - Documentation pivoted to Mermaid-only diagrams (sequence + architecture/infra/pipeline), rendered in-browser; legacy draw.io/PlantUML assets removed for simplicity. +- Updated docs to fix Mermaid syntax and labels; Mermaid renders cleanly across all pages. +- Local Docker cleanup: removed all stale images (including registry.halla-aho.net:443 tags); only current `3a5de63` and `latest` remain. - Listing details: right rail now surfaces quick facts + amenity icons; browse map given fixed height so OpenStreetMap tiles show reliably; footer links to privacy page with version indicator. To resume: