Davide Scaini fc012b5311 pull_feedback: highlight new submissions since last pull

2026-05-13 20:36:40 +02:00

..

bulk_private.py

ingest activities.csv

2026-04-11 08:13:27 +02:00

dev_test.py

Replace Astro hub build with standalone hub/index.html

2026-05-02 22:49:32 +02:00

disk_report.sh

Bug fixed — temp ZIPs now go to /tmp/ (system temp) and are always deleted in a finally block, so they can't leak. A startup hook also auto-cleans any leftovers on

2026-04-13 12:24:59 +02:00

gen_graph.py

fix graph.html: set explicit pixel height for vis.js container

2026-04-14 22:48:37 +02:00

pull_feedback.sh

pull_feedback: highlight new submissions since last pull

2026-05-13 20:36:40 +02:00

rebuild.sh

script to rebuild pages

2026-04-12 19:48:13 +02:00