Skip to content

[spec-extractor] Update package specifications for agentdrain, cli, console, constants#42936

Merged
pelikhan merged 1 commit into
mainfrom
spec-extractor/2026-07-02-run-28582706541-217305fbc756cdc3
Jul 2, 2026
Merged

[spec-extractor] Update package specifications for agentdrain, cli, console, constants#42936
pelikhan merged 1 commit into
mainfrom
spec-extractor/2026-07-02-run-28582706541-217305fbc756cdc3

Conversation

@github-actions

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

Copy link
Copy Markdown
Contributor

Summary

Documentation-only update to pkg/constants/README.md. Adds bot_constants.go to the package file overview table and introduces a new ### Copilot Bot Names section documenting the CopilotBotNames constant.

Changes

pkg/constants/README.md

  • Added bot_constants.go entry to the package overview table with description "Canonical Copilot bot identity lists".
  • Added ### Copilot Bot Names section documenting CopilotBotNames ([]string):
    • Lists all GitHub identifiers associated with the Copilot family: "copilot-swe-agent", "Copilot", "copilot", "@app/copilot-swe-agent".
    • Documents expansion behaviour: any entry from this list in a workflow's bots: field is expanded to the full set.

Impact

  • No code changes. No logic, behaviour, or API surface was modified.
  • Documentation only. Improves discoverability of CopilotBotNames for contributors reading the constants package docs.

Commits

  • 75f426b1e docs(constants): add bot_constants.go to overview and document CopilotBotNames

Generated by PR Description Updater for #42936 · 39.5 AIC · ⌖ 10 AIC · ⊞ 4.7K ·

…tBotNames

Add the missing bot_constants.go file to the package file overview table
and document the CopilotBotNames exported variable that was introduced
in that file but omitted from the specification.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@github-actions github-actions Bot added automation documentation Improvements or additions to documentation pkg-specifications labels Jul 2, 2026
@pelikhan pelikhan merged commit a0c4eb4 into main Jul 2, 2026
@pelikhan pelikhan deleted the spec-extractor/2026-07-02-run-28582706541-217305fbc756cdc3 branch July 2, 2026 10:53
@github-actions

github-actions Bot commented Jul 2, 2026

Copy link
Copy Markdown
Contributor Author

🎉 This pull request is included in a new release.

Release: v0.82.2

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 pkg-specifications

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant