chore: Make initial repos available in the docker compose setup

Author: natkam

examples/docker_compose/docker-compose-postgres.yml

@@ -12,8 +12,10 @@ services:
       DATABASE_TYPE: postgres
     volumes:
       - ./grader_service_config.py:/app/grader_service_config.py
+      - service_dir:/app/service_dir
       - ./data_only.sql:/app/data_only.sql
       - ./init-db-postgres.sh:/app/init-db-postgres.sh
+      - ./init_repos:/app/init_repos
     depends_on:
       postgres:
         condition: service_healthy

examples/docker_compose/docker-compose.yml

@@ -14,6 +14,7 @@ services:
       - service_dir:/app/service_dir
       - ./init-db.sh:/app/init-db.sh
       - ./data_only.sql:/app/data_only.sql
+      - ./init_repos:/app/init_repos
     environment:
       DATABASE_TYPE: ${DATABASE_TYPE:-sqlite}
       RABBITMQ_GRADER_SERVICE_USERNAME: grader_user

examples/docker_compose/init-db-postgres.sh

@@ -1,11 +1,13 @@
 #!/usr/bin/env bash
 set -e
 
-echo "Initialize a PostgreSQL database: run migrations and load initial data."
+echo "Initialize a PostgreSQL database: run migrations, load initial data, and create initial repos."
 
 /app/.venv/bin/grader-service-migrate -f /app/grader_service_config.py
 # Try to load the initial data. This will fail on the first error (e.g. if the data already exists)
 # and roll back the transaction.
 if ! psql -v ON_ERROR_STOP=1 -h postgres -U postgres -d grader --single-transaction -f /app/data_only.sql; then
   echo "Initial data import failed; probably the database already exists and contains the data."
 fi
+
+cp -r /app/init_repos/* /app/service_dir/git

examples/docker_compose/init-db.sh

@@ -1,7 +1,7 @@
 #!/usr/bin/env bash
 set -e
 
-echo "Initialize an sqlite database: run migrations and load initial data."
+echo "Initialize an sqlite database: run migrations, load initial data, and create initial repos."
 
 grader-service-migrate -f /app/grader_service_config.py
 # Insert some initial data into the database. The import will fail if the data already
@@ -10,3 +10,5 @@ grader-service-migrate -f /app/grader_service_config.py
 if ! sqlite3 /app/service_dir/grader.db < /app/data_only.sql 2>/dev/null; then
   echo "Initial data import failed; probably the database already exists and contains the data."
 fi
+
+cp -r /app/init_repos/* /app/service_dir/git