Repository navigation

docs(agents): require PR description updates when pushing to a PR branch - #244

Merged

raymondk merged 2 commits into

mainfrom

infra/agents-pr-description-rule

May 13, 2026

Merged

docs(agents): require PR description updates when pushing to a PR branch#244
raymondk merged 2 commits into
mainfrom
infra/agents-pr-description-rule

Commits on May 12, 2026
- docs(agents): require PR description updates when pushing to a PR branch
  marc0olo
  committed
  d1a5759
- docs(agents): add PR body heredoc formatting rule to prevent escaped backticks
  marc0olo
  committed
  61aecf4