Skip to content

[docs] Update dictation skill instructions - #48140

Merged
pelikhan merged 1 commit into
mainfrom
dictation-update-glossary-8975f540b6c8122c
Jul 26, 2026
Merged

[docs] Update dictation skill instructions#48140
pelikhan merged 1 commit into
mainfrom
dictation-update-glossary-8975f540b6c8122c

Conversation

@github-actions

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

Copy link
Copy Markdown
Contributor

Summary

Maintenance update to DICTATION.md (the project spell-check dictionary). Removes stale/deprecated vocabulary and adds current API identifiers, configuration keys, and model names to keep the dictionary aligned with the evolving codebase.

Changes

File modified: DICTATION.md

Removed entries (deprecated / renamed): allow-tool, AllowedDomains, EngineConfig, FirewallConfig, gateway-api-key, gateway-port, gh-aw-compile, lockdown-mode, NetworkPermissions, pull-number, pull-request-number, safeoutputs.jsonl, SandboxConfig, staged-output, tools.mcp-servers, tools.playwright, workflow-logs, workflows-dir, discussion-number

Added entries (new / current): call-workflow, correction-ops, create_issue, create_pull_request, effort, evals, GH_HOST, GH_TOKEN, GITHUB_REPOSITORY, gpt-5, haiku, label_command, max-turns, mcp-server, opentelemetry, push_to_pull_request_branch, report_incomplete, slash_command, temperature

Impact

  • Runtime impact: None - DICTATION.md is used only for spell-checking.
  • Breaking changes: No.
  • Scope: Documentation / tooling only.

Generated by PR Description Updater for #48140 · sonnet46 · 29.2 AIC · ⌖ 8.46 AIC · ⊞ 4.8K ·

- Add missing high-frequency terms: report_incomplete, create_pull_request,
  create_issue, GH_TOKEN, GH_HOST, GITHUB_REPOSITORY, opentelemetry,
  correction-ops, slash_command, call-workflow, mcp-server, effort,
  evals, gpt-5, haiku, max-turns, temperature, push_to_pull_request_branch
- Remove low-frequency internal type terms (AllowedDomains, EngineConfig,
  FirewallConfig, NetworkPermissions, SandboxConfig) and redundant entries
- Re-sort glossary alphabetically
- Maintain exactly 256 terms

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@github-actions github-actions Bot added automation documentation Improvements or additions to documentation labels Jul 26, 2026
@gh-aw-bot

Copy link
Copy Markdown
Collaborator

@copilot please run the pr-finisher skill, check whether this docs PR needs any remaining review responses or validation follow-up, and rerun checks once the branch is up to date.

Run: https://github.com/github/gh-aw/actions/runs/30191227976

Generated by 👨‍🍳 PR Sous Chef · gpt54 · 17.5 AIC · ⌖ 8.92 AIC · ⊞ 7.1K ·
Comment /souschef to run again

Copilot AI commented Jul 26, 2026

Copy link
Copy Markdown
Contributor

@copilot please run the pr-finisher skill, check whether this docs PR needs any remaining review responses or validation follow-up, and rerun checks once the branch is up to date.

Run: https://gi...

PR finisher complete. Here's the status:

  • Reviews — No review threads or reviews to address. Nothing to resolve.
  • Checks (local)make fmt and make lint both pass cleanly. No uncommitted changes. Docs-only change (DICTATION.md) has no unit test surface.
  • Checks (CI) — Stale after agent push; needs human re-trigger. The only check (copilot) was in-progress at triage time (this run).
  • Mergeable — PR is open, not a draft, branch is not behind main, no conflicts (mergeable_state: unstable reflects the in-progress check, not a conflict).

Actions taken: No file changes needed — branch was already up to date and all local validation passed.

Hand-off: CI must be re-triggered by a maintainer (close/reopen PR or push) before merge.

Still needed: Human approval/merge.

Copilot AI requested a review from gh-aw-bot July 26, 2026 06:48
@pelikhan
pelikhan merged commit 35e5ddc into main Jul 26, 2026
1 check passed
@pelikhan
pelikhan deleted the dictation-update-glossary-8975f540b6c8122c branch July 26, 2026 08:27
@github-actions

Copy link
Copy Markdown
Contributor Author

🎉 This pull request is included in a new release.

Release: v0.83.4

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

automation documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants