feat: add optional MongoDB replica deployment (#765)

This commit is contained in:
Thomas Durieux
2026-07-30 02:28:19 +02:00
committed by GitHub
parent a8733af4f4
commit debd83c079
11 changed files with 512 additions and 7 deletions
+17
View File
@@ -0,0 +1,17 @@
services:
mongodb:
entrypoint:
- /bin/bash
- /opt/anonymous-github/mongodb-replica-entrypoint.sh
command:
- --quiet
- --replSet
- rs0
- --keyFile
- /tmp/mongo-replica-keyfile
- --bind_ip_all
environment:
MONGO_REPLICA_KEYFILE_PATH: /run/secrets/mongo-replica-keyfile
volumes:
- ${MONGO_REPLICA_KEYFILE:-./secrets/mongo-replica-keyfile}:/run/secrets/mongo-replica-keyfile:ro
- ./scripts/mongodb-replica-entrypoint.sh:/opt/anonymous-github/mongodb-replica-entrypoint.sh:ro