Skip to content

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

Merged
pull[bot] merged 1 commit into
garymm:mainfrom
bazel-contrib:main
Aug 27, 2026
Merged

pull[bot] merged 1 commit into
garymm:mainfrom
bazel-contrib:main

Conversation

@pull

@pull pull Bot commented Aug 27, 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 : )

…ines (#4116)

Agent guidelines lacked explicit instructions for versioning bug fixes
in documentation and allowed verbose, passive pull request descriptions.

Document using `VERSION_NEXT_PATCH` for bug fixes and patch-level
behavioral adjustments in `{versionchanged}` directives. Direct agents
to apply Strunk & White conciseness and active phrasing when authoring
PR descriptions.
@pull pull Bot locked and limited conversation to collaborators Aug 27, 2026
@pull pull Bot added the ⤵️ pull label Aug 27, 2026
@pull
pull Bot merged commit 3821f83 into garymm:main Aug 27, 2026
2 checks 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