Skip to content

ci(release): reuse the release PR found by verify - #58

Merged
jo16oh merged 1 commit into
mainfrom
ci/reuse-release-pr
Sep 24, 2026
Merged

jo16oh merged 1 commit into
mainfrom
ci/reuse-release-pr

Conversation

@jo16oh

@jo16oh jo16oh commented Sep 24, 2026

Copy link
Copy Markdown
Owner

Follow-up to #57, which looks up the release PR twice:

# verify
gh api "repos/$GITHUB_REPOSITORY/commits/$GITHUB_SHA/pulls" | jq -e ...
# github-release
gh api "repos/$GITHUB_REPOSITORY/commits/$GITHUB_SHA/pulls" | jq -r ...
  • Output the release PR number from verify
  • Read its body with gh pr view in github-release

@jo16oh
jo16oh merged commit 28dd7bd into main Sep 24, 2026
8 checks passed
@jo16oh
jo16oh deleted the ci/reuse-release-pr branch September 24, 2026 14:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant