Skip to content

[docs] Update glossary - daily scan#33519

Merged
pelikhan merged 1 commit into
mainfrom
docs/glossary-update-daily-2026-05-20-c8a5ae34e07dd466
May 20, 2026
Merged

[docs] Update glossary - daily scan#33519
pelikhan merged 1 commit into
mainfrom
docs/glossary-update-daily-2026-05-20-c8a5ae34e07dd466

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

Glossary Updates - 2026-05-20

Scan Type

  • Incremental (daily - last 24 hours)
  • Full scan (weekly - last 7 days)

Terms Added

  • Allowed Repos (tools.github.allowed-repos): Repository access restrictions for GitHub Tools, supporting "all", "public", "current", or pattern arrays. Replaces deprecated repos field.

  • Ignore If Missing (ignore-if-missing): GitHub App authentication field for gracefully handling missing secrets on fork PRs, falling back to standard token chain instead of failing.

  • Pull Request Reviewer Trigger (on.pull_request_reviewer): Synthetic frontmatter trigger for PR reviewer workflows with centralized routing, automatic lifecycle event subscription, and early cancellation on closed PRs.

Terms Updated

None - all additions are new terms from recent feature documentation.

Changes Analyzed

Related Changes

Notes

All three new terms are derived from recent feature additions in the last 24 hours:

  • allowed-repos was introduced as part of repository access controls for GitHub Tools
  • ignore-if-missing enables graceful handling of missing GitHub App secrets
  • pull_request_reviewer trigger provides first-class support for PR reviewer workflows

Documentation build completed successfully with all internal links validated.

Auto-Generated Updates

The following files were updated by the documentation build process:

  • agent-factory-status.mdx: Added new workflows (daily-reliability-review, pr-description-caveman)
  • model-tables.md: Added new model aliases and token weight configurations

Generated by 📝 Glossary Maintainer · ● 13.7M ·

  • expires on May 22, 2026, 11:21 AM UTC

Add three new terms from last 24 hours of documentation changes:
- Allowed Repos (tools.github.allowed-repos)
- Ignore If Missing (ignore-if-missing)
- Pull Request Reviewer Trigger (on.pull_request_reviewer)

Also includes auto-generated documentation updates:
- agent-factory-status.mdx (new workflows: daily-reliability-review, pr-description-caveman)
- model-tables.md (new model aliases and token weights)

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@github-actions github-actions Bot added documentation Improvements or additions to documentation glossary labels May 20, 2026
@pelikhan pelikhan merged commit d2bc68c into main May 20, 2026
@pelikhan pelikhan deleted the docs/glossary-update-daily-2026-05-20-c8a5ae34e07dd466 branch May 20, 2026 12:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation glossary

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant