chore: publish from main

This commit is contained in:
github-actions[bot]
2026-06-26 00:31:28 +00:00
parent d1cb70036a
commit 852f81b673
2 changed files with 26 additions and 48 deletions
-8
View File
@@ -16,14 +16,6 @@ jobs:
script: |
const labels = {
// Intent labels for PR categorization
'targets-main': {
color: 'B60205',
description: 'PR targets staged instead of main'
},
'branched-main': {
color: 'D93F0B',
description: 'PR appears to include plugin files materialized from main'
},
'skills': {
color: '1D76DB',
description: 'PR touches skills'