Skip to content

Add GitHub Action to notify PR authors of repo migration and auto-close PRs#1045

Merged
A1L13N merged 2 commits into
mainfrom
copilot/update-pr-notes-for-repo-move
Mar 24, 2026
Merged

Add GitHub Action to notify PR authors of repo migration and auto-close PRs#1045
A1L13N merged 2 commits into
mainfrom
copilot/update-pr-notes-for-repo-move

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Mar 24, 2026

Most logic in this repo is migrating to alphaonelabs/learn. New PRs opened here need to be redirected there.

Changes

  • .github/workflows/pr-migration-notice.yml — new workflow triggered on pull_request_target: [opened] that:
    • Posts a comment tagging the author, explaining the migration, linking to alphaonelabs/learn, and instructing them to adapt and resubmit there
    • Immediately closes the PR automatically

The comment makes clear the PR is already closed (no ambiguous "let us know" language):

## 🚚 This Repository Is Moving

Hi @author, thank you for your contribution!

We are in the process of migrating most of the logic from this repository to
alphaonelabs/learn.

1. Review the alphaonelabs/learn repository and familiarize yourself with its tech stack.
2. Adapt your changes to work with that codebase.
3. Open a new Pull Request in alphaonelabs/learn.

This PR has been automatically closed. Once you have opened your PR in the
new repository, feel free to reference it here.

📍 Connect Copilot coding agent with Jira, Azure Boards or Linear to delegate work to Copilot in one click without leaving your project management tool.

Copilot AI changed the title [WIP] Add note about moving logic to alphaonelabs/learn repo Add GitHub Action to notify PR authors of repo migration and auto-close PRs Mar 24, 2026
Copilot AI requested a review from A1L13N March 24, 2026 16:38
@A1L13N A1L13N marked this pull request as ready for review March 24, 2026 16:39
@github-actions github-actions Bot added the files-changed: 1 PR changes 1 file label Mar 24, 2026
@A1L13N A1L13N enabled auto-merge March 24, 2026 17:33
@A1L13N A1L13N disabled auto-merge March 24, 2026 17:33
@A1L13N A1L13N merged commit f74a131 into main Mar 24, 2026
15 checks passed
@A1L13N A1L13N deleted the copilot/update-pr-notes-for-repo-move branch March 24, 2026 17:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

files-changed: 1 PR changes 1 file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants