Merge branch 'release/1.2.5' into main

This commit is contained in:
Matteo Cherubini 2026-06-12 17:37:08 +02:00
commit f887319450

View file

@ -60,7 +60,7 @@ for entry in "${GENOMES[@]}"; do
cd "${WORK_DIR}/${MASTER_REPO}"
git add .gitmodules "${GENOME_NAME}"
git commit -m "chore: register submodule ${GENOME_NAME}"
git diff --cached --quiet || git commit -m "chore: register submodule ${GENOME_NAME}"
git push
# Commit the submodule reference in the master repo