From e5a8494527f75ba8ebffa5d675257625bc168046 Mon Sep 17 00:00:00 2001 From: Philipp Oppermann Date: Wed, 23 Jul 2025 16:40:33 +0200 Subject: [PATCH] Minor tweaks for JSON schema regeneration PR --- .github/workflows/regenerate-schemas.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/regenerate-schemas.yml b/.github/workflows/regenerate-schemas.yml index 9326a2b9..f1cd7a1a 100644 --- a/.github/workflows/regenerate-schemas.yml +++ b/.github/workflows/regenerate-schemas.yml @@ -32,9 +32,9 @@ jobs: git add libraries/core/dora-schema.json git config user.email "dora-bot@phil-opp.com" git config user.name "Dora Bot" - git commit -m "Update JSON schema for \`dora-core\`" + git commit -m "Update JSON schema for ${{ github.sha }}" git push -u origin HEAD git fetch origin main - gh pr create --fill + gh pr create --title "Update JSON schema for \`dora-core\`" --body "Update JSON schema for ${{ github.sha }}" fi