chore: remove unused Redis service and references #26

Merged
luckberg merged 3 commits from gsd/quick-260618-smr-remove-redis into main 2026-06-18 21:06:34 -04:00
2 changed files with 0 additions and 8 deletions
Showing only changes of commit b968f5d53b - Show all commits
-4
View File
@@ -23,7 +23,3 @@ services:
mariadb:
ports:
- '3306:3306'
redis:
ports:
- '6379:6379'
-4
View File
@@ -50,9 +50,5 @@ services:
timeout: 5s
retries: 5
redis:
image: redis:7-alpine
# Phase 1: present but unused; Phase 4 wires pub/sub for live list sync
volumes:
mariadb_data: