Deployment config + CI fixes + secrets mount#3

Merged

anderdc merged 2 commits into

mainfrom

Apr 16, 2026

Commits on Apr 16, 2026

Mount secrets/ into das container for GitHub App private key
anderdc
committed
Map Redis to host port 6380 to avoid conflict with other Redis instances
anderdc
committed