Skip to content

Disable auto-merge on maintainer push to bot PR - #79

Merged
ptr727 merged 7 commits into
developfrom
auto-merge-disable-safeguard
May 12, 2026
Merged

Disable auto-merge on maintainer push to bot PR#79
ptr727 merged 7 commits into
developfrom
auto-merge-disable-safeguard

Use AGENTS.md concurrency convention in periodic codegen workflow

b86b24a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar