Skip to content

explain how the batch migration system works with custom properties and issues to prompt Copilot for migrations. - #6

Merged
robandpdx merged 3 commits into
mainfrom
submit-repo-how-it-works
Dec 8, 2025
Merged

explain how the batch migration system works with custom properties and issues to prompt Copilot for migrations.#6
robandpdx merged 3 commits into
mainfrom
submit-repo-how-it-works

Conversation

@robandpdx

@robandpdx robandpdx commented Dec 2, 2025

Copy link
Copy Markdown
Collaborator

This pull request updates the documentation for the batch migration system to clarify how prompts are sent to Copilot and how migration agents are assigned. The main focus is on explaining the use of issues as prompts for Copilot due to API limitations.

Copilot AI review requested due to automatic review settings December 2, 2025 21:16

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.

Pull request overview

This PR enhances the documentation for the batch migration system by explaining how custom properties and issues work together to enable Copilot-powered migrations.

Key Changes

  • Clarifies that issues are used as prompts for Copilot because there's no direct API for custom agents
  • Expands the numbered list from 4 to 5 steps to include the issue creation and Copilot assignment steps
  • Updates step descriptions to reflect the issue-based prompting mechanism

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread docs/operations.md Outdated
Comment thread docs/operations.md Outdated
robandpdx and others added 2 commits December 2, 2025 16:45
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

@antgrutta antgrutta left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@robandpdx
robandpdx merged commit f3da222 into main Dec 8, 2025
2 checks passed
@robandpdx
robandpdx deleted the submit-repo-how-it-works branch December 8, 2025 14:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants