Skip to content

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

Merged
pull[bot] merged 4 commits into
garymm:mainfrom
bazel-contrib:main
Aug 10, 2026
Merged

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

Conversation

@pull

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

Currently, Runfiles.Create returns None when runfiles environment
variables ($RUNFILES_MANIFEST_FILE and $RUNFILES_DIR) are unset or
empty, requiring callers to write repetitive None checks and handle
missing runfiles manually.

This adds Runfiles.CreateOrRaise and module-level CreateOrRaise, which
return the initialized Runfiles instance or raise a RuntimeError if
runfiles cannot be found.
Bump the minimum Python version target for dev requirements and
lockfiles from Python 3.9 to Python 3.10.

Python 3.9 compatibility constraints in dev dependencies are no longer
needed and trigger dependency audit and Dependabot alerts. Updating the
baseline resolves these warnings and keeps development tooling aligned
with supported Python runtimes.
… docstrings (#4030)

Using `git push -u` or `--set-upstream` disrupts triangle branch
tracking by repointing the local tracking branch away from upstream.
Additionally, delegating helper functions need consistent docstring
references to their underlying implementations.

Update workspace and Python agent rules to prohibit setting upstream
on push and establish a docstring reference convention for delegating
functions.
Updating dev tooling Python versions requires updating multiple lock
configurations and regenerating lockfiles, but this process was not
documented in agent instructions. In addition, the merge-pr skill
needed to query additional GitHub PR state fields to reliably inspect
merge queue status and mergeability.

Add developer guidance for bumping dev tooling Python versions and
running lockfile update commands, and expand the gh pr view fields
queried during merge queue shepherding.
@pull pull Bot locked and limited conversation to collaborators Aug 10, 2026
@pull pull Bot added the ⤵️ pull label Aug 10, 2026
@pull
pull Bot merged commit cba8cc9 into garymm:main Aug 10, 2026
4 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