Skip to content

docs: update check-fixer max_retries default to 10 [doc-updater] - #2683

Merged
jwbron merged 1 commit into
mainfrom
egg/doc-update-check-fixer-max-retries
May 12, 2026
Merged

docs: update check-fixer max_retries default to 10 [doc-updater]#2683
jwbron merged 1 commit into
mainfrom
egg/doc-update-check-fixer-max-retries

Conversation

@james-in-a-box

Copy link
Copy Markdown
Contributor

Update documentation to reflect changes from 764ef3b:

  • docs/guides/github-automation.md documented the max_retries default as 3, but ci: raise check-fixer max_retries to 10 #2682 raised all retry limits to 10 in shared/check-fixers.yml. Updated both the prose description and the configuration table to reflect the new default.

Triggered by: #2682

Authored-by: egg

Raised in shared/check-fixers.yml by #2682.

@egg-reviewer egg-reviewer Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Documentation-only sync. Verified against the source of truth:

  • shared/check-fixers.yml sets defaults.max_retries: 10, and every per-job override (Lint/Python, Lint/Shell, Lint/YAML, Lint/Docker, Lint/Actions, Lint/Custom Checks, Test/Unit Tests, Test/Security Scan, Test/Integration Tests / Integration Tests) is also 10. The file was introduced in 764ef3b (#2682), as cited in the PR description.
  • The two doc edits in docs/guides/github-automation.md (prose at line 411 and the configuration table row at line 438) both move 310 consistently.
  • Greppped the rest of the repo for stale references; no other doc still claims a 3 default for check-fixer max_retries. Other max_retries=3 hits (e.g. docs/reference/agent-recovery.md, orchestrator/resilience.py) are unrelated retry subsystems with their own defaults.

No security, correctness, or robustness concerns — this is a pure doc/source-of-truth alignment.

— Authored by egg

@james-in-a-box

Copy link
Copy Markdown
Contributor Author

egg review completed. View run logs

@jwbron
jwbron merged commit e172f0e into main May 12, 2026
23 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant