Skip to content

[pull] main from bazel-contrib:main - #749

Merged
pull[bot] merged 2 commits into
garymm:mainfrom
bazel-contrib:main
Sep 22, 2026
Merged

pull[bot] merged 2 commits into
garymm:mainfrom
bazel-contrib:main

Conversation

@pull

@pull pull Bot commented Sep 22, 2026 •

Copy link
Copy Markdown

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

rickeylev and others added 2 commits September 21, 2026 23:52
…sions (#4177)

The release preparation completion workflow parses the merged PR body to
locate the associated release tracking issue. Previously, the workflow
failed to resolve the tracking issue because `get_pr_info` omitted the
PR `body` field and the GitHub Actions workflow lacked permission to
read pull requests.

Request the `body` field when querying PR metadata and grant
`pull-requests: read` permission to the workflow so it can extract the
issue number from the merged preparation PR.

Work towards #4175
Work towards #4175

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@pull pull Bot locked and limited conversation to collaborators Sep 22, 2026
@pull pull Bot added the ⤵️ pull label Sep 22, 2026
@pull
pull Bot merged commit 6f65150 into garymm:main Sep 22, 2026
1 check passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant