Skip to content

Add mirror issue GHA - #2063

Merged
dirkkul merged 1 commit into
mainfrom
add_mirror
Jun 18, 2026
Merged

Add mirror issue GHA#2063
dirkkul merged 1 commit into
mainfrom
add_mirror

Conversation

@dirkkul

@dirkkul dirkkul commented Jun 18, 2026

Copy link
Copy Markdown
Collaborator

No description provided.

Copilot AI review requested due to automatic review settings June 18, 2026 05:31
@dirkkul
dirkkul requested a review from a team as a code owner June 18, 2026 05:31
@dirkkul
dirkkul merged commit 54a0953 into main Jun 18, 2026
108 of 112 checks passed
@dirkkul
dirkkul deleted the add_mirror branch June 18, 2026 05:31

@orca-security-eu orca-security-eu Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Orca Security Scan Summary

Status Check Issues by priority
Passed Passed Infrastructure as Code high 0   medium 0   low 0   info 0 View in Orca
Passed Passed SAST high 0   medium 0   low 0   info 0 View in Orca
Passed Passed Secrets high 0   medium 0   low 0   info 0 View in Orca
Passed Passed Vulnerabilities high 0   medium 0   low 0   info 0 View in Orca

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

Adds a GitHub Actions workflow to automatically mirror issues into multiple Weaviate client repositories when an issue is labeled needs-mirror.

Changes:

  • Introduces .github/workflows/mirror-issues.yaml to trigger on issues:labeled and create mirrored issues across a repo matrix.
  • Uses a GitHub App installation token (minted per target repo) and gh issue create to open the mirrored issues.

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

Comment on lines +20 to +23
- name: Mint app token for weaviate/${{ matrix.repo }}
id: app-token
uses: actions/create-github-app-token@v1
with:
Comment on lines +3 to +7
on:
issues:
types: [labeled]

jobs:
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.

2 participants