Skip to content

[pull] main from github:main#53

Merged
pull[bot] merged 8 commits into
Android-studio61:mainfrom
github:main
May 10, 2026
Merged

[pull] main from github:main#53
pull[bot] merged 8 commits into
Android-studio61:mainfrom
github:main

Conversation

@pull
Copy link
Copy Markdown

@pull pull Bot commented May 10, 2026

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 : )


Summary by cubic

Adds guardrails and reliability improvements across workflows and docs: introduces a min-body-length check for create_discussion, adds rate‑limit retries to PR creation, and updates docs for better crawlability and structured data.

  • New Features

    • create_discussion: new min-body-length config, validated in schema, compiler, and runtime with tests; docs updated with examples.
    • Daily compiler quality workflow now enforces one discussion output with a 200+ char body and no placeholder text.
    • Docs/SEO: allow major crawlers in robots.txt, expand JSON‑LD sameAs and add dateModified, and add a small “By the Numbers” section to the homepage.
  • Bug Fixes

    • Add rate‑limit retry to create_pull_request and fallback issue paths using RATE_LIMIT_RETRY_CONFIG; new tests cover 403/x‑ratelimit cases.
    • Auto-triage backfill: emit noop when no unlabeled issues and stop early; docs updated.
    • Unbloat-docs: skip dev server start/readiness when preflight fails.
    • Copilot PR NLP analysis: never install Python deps during agent turns; report missing imports and continue with reduced analysis.
    • Schema-consistency checker: replace max-turns with a token budget and add turn‑budget guidance to reduce wasted turns.
    • Go tests: refactor main entry tests to testify assertions for clearer failures.

Written for commit dfa9870. Summary will update on new commits.

@pull pull Bot locked and limited conversation to collaborators May 10, 2026
@pull pull Bot added the ⤵️ pull label May 10, 2026
@pull pull Bot merged commit dfa9870 into Android-studio61:main May 10, 2026
1 check passed
@pull pull Bot had a problem deploying to github-pages May 10, 2026 00:45 Failure
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