chore: publish from main

2026-07-15 02:21:04 +00:00 · 2026-07-03 00:09:12 +00:00
parent 4ca670469d
commit 0a109072b7
16 changed files with 490 additions and 1158 deletions
@@ -1,11 +1,14 @@
 ---
 description: 'Checks PRs for potential duplicate agents, instructions, skills, and workflows already in the repository'
 on:
-  pull_request:
+  pull_request_target:
    types: [opened, synchronize, reopened]
+  roles: all
+checkout: false
 permissions:
  contents: read
  pull-requests: read
+  copilot-requests: write
 tools:
  github:
    toolsets: [repos, pull_requests]