Skip to content

[docs] Update glossary - daily scan#45975

Merged
pelikhan merged 1 commit into
mainfrom
docs/glossary-daily-2026-07-16-5938b1189e7eccc3
Jul 16, 2026
Merged

[docs] Update glossary - daily scan#45975
pelikhan merged 1 commit into
mainfrom
docs/glossary-daily-2026-07-16-5938b1189e7eccc3

Conversation

@github-actions

@github-actions github-actions Bot commented Jul 16, 2026

Copy link
Copy Markdown
Contributor

Summary

Adds a new glossary entry documenting the safe-outputs.github-app.repositories field, which controls the repository scope of GitHub App installation tokens used by safe outputs.

Changes

File Type Description
docs/src/content/docs/reference/glossary.md docs New glossary entry: GitHub App Repositories

Details

Documents the safe-outputs.github-app.repositories field:

  • Accepts ["*"] to request an installation token covering all repositories in the App installation, or an explicit array of repository names for a narrowly-scoped token.
  • When ["*"] is specified, implementations omit the repositories parameter from the token-minting API call (not substituting the triggering repository name).
  • Applies to both the activation-job token and subsequent safe-output-job tokens, including workflow_call reusable-workflow scenarios.
  • When the field is omitted, implementations default to the triggering repository as the token scope.
  • Includes a configuration example and links to the Safe Outputs Specification.

Commits

  • a2a8474b4 [docs] Update glossary - daily scan

References: §29494545852

Generated by PR Description Updater for #45975 · 36.3 AIC · ⌖ 7.86 AIC · ⊞ 4.7K ·

Add GitHub App Repositories (github-app.repositories) term introduced
in commit 53ee208 (Honor `repositories: ["*"]` in activation GitHub
App token minting, #45908).

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@github-actions github-actions Bot added documentation Improvements or additions to documentation glossary labels Jul 16, 2026
@pelikhan
pelikhan merged commit a4f683b into main Jul 16, 2026
@pelikhan
pelikhan deleted the docs/glossary-daily-2026-07-16-5938b1189e7eccc3 branch July 16, 2026 11:28
@github-actions

Copy link
Copy Markdown
Contributor Author

🎉 This pull request is included in a new release.

Release: v0.82.11

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