diff --git a/.github/workflows/generate-databases.yml b/.github/workflows/generate-databases.yml index a977ed6..7179f66 100644 --- a/.github/workflows/generate-databases.yml +++ b/.github/workflows/generate-databases.yml @@ -28,7 +28,6 @@ jobs: MESSAGE="$(cat /tmp/MESSAGES)" echo "MESSAGE=${MESSAGE}" >> "${GITHUB_ENV}" - name: Create pull request - if: false # temporarily disable id: cpr uses: peter-evans/create-pull-request@v7 with: diff --git a/.github/workflows/scripts/update-all-databases.sh b/.github/workflows/scripts/update-all-databases.sh index ef6b3ea..06e6dbd 100644 --- a/.github/workflows/scripts/update-all-databases.sh +++ b/.github/workflows/scripts/update-all-databases.sh @@ -1,5 +1,6 @@ #!/usr/bin/env bash + function help { echo "Usage: generate-all-databases.sh" echo "" @@ -51,6 +52,7 @@ function make-ontologies { cargo run --bin rustyms-generate-databases } + function main { while [[ $# -gt 0 ]]; do case "$1" in @@ -70,4 +72,5 @@ function main { make-ontologies } + main "$@"