ci: pgloader set batch size

docker/db-pg.Dockerfile

@@ -5,4 +5,4 @@ ENV POSTGRES_PASSWORD=hk2j22sfiv
 ENV POSTGRES_HOST_AUTH_METHOD=trust
 
 # Copy the postgres data folder from the migration stage
-COPY /pg-data /var/lib/postgresql/data
+COPY /pgdata /var/lib/postgresql/data

docker/scripts/db-pg-migrate.sh

@@ -54,6 +54,7 @@ if echo ${EMPTY_CHECK} | grep -q "Did not find any relations."; then
 LOAD DATABASE
 FROM mysql://django:RkTkDPFnKpko@db/ietf_utf8
 INTO postgresql://django:RkTkDPFnKpko@pgdb/ietf
+WITH concurrency = 1, batch size = '10MB', batch rows = 10000
 CAST type varchar to text drop typemod;
 EOF
     pgloader --verbose --logfile=ietf_pgloader.run --summary=ietf_pgloader.summary cast.load