fix: reload explorer state when repository identity changes

2026-09-24 19:30:42 +02:00 · 2026-09-06 10:47:03 +02:00
parent b6c0d3a8ed
commit a27f9f34d6
4 changed files with 25 additions and 5 deletions
@@ -1,6 +1,6 @@
 {
  "core.min.js": "core.6332b3c288.min.js",
-  "vendor.min.js": "vendor.1269d561e8.min.js",
+  "vendor.min.js": "vendor.9de44b9059.min.js",
  "mermaid.min.js": "mermaid.f848a72d16.min.js",
  "all.min.css": "all.99ce8f3e14.min.css"
 }