Skip to content

chore(docs): External Docs Update - master#23662

Open
github-actions[bot] wants to merge 1 commit into
masterfrom
docs/update/dev
Open

chore(docs): External Docs Update - master#23662
github-actions[bot] wants to merge 1 commit into
masterfrom
docs/update/dev

Conversation

@github-actions

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

Copy link
Copy Markdown
Contributor

This updates the external documentation commit hashes in doc/import_external_docs.ps1.

Behavior per run:

  • When run against master, each repository is updated to the latest commit on its default branch (main, master, or other configured default).
  • When run against a release/stable/* branch, each repository is checked for all release/stable/* branches; if any exist, the one with the highest version suffix is selected and used. If no such branch exists, the repository's default branch is used instead.

This is an automated update created by the external docs updater workflow.

Copilot AI review requested due to automatic review settings July 6, 2026 18:43

Copilot AI 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.

Copilot can't review bot-authored pull requests automatically. A user with Copilot access can request a review manually.

Copilot AI review requested due to automatic review settings July 7, 2026 07:19

Copilot AI 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.

Copilot can't review bot-authored pull requests automatically. A user with Copilot access can request a review manually.

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants