chore: publish from staged

This commit is contained in:
github-actions[bot]
2026-06-17 04:12:31 +00:00
parent a28f08e0fc
commit 14203cf09f
8 changed files with 170 additions and 274 deletions
@@ -9,7 +9,8 @@ concurrency:
cancel-in-progress: false
permissions:
issues: write
pull-requests: write
contents: read
jobs:
sync-merged-pr-labels:
@@ -25,20 +26,6 @@ jobs:
const prNumber = context.payload.pull_request.number;
const staleLabels = ['awaiting-review', 'awaiting-approval', 'ready-for-review', 'rejected'];
try {
await github.rest.issues.createLabel({
owner: context.repo.owner,
repo: context.repo.repo,
name: 'approved',
color: '1D76DB',
description: 'Submission was approved by a maintainer'
});
} catch (error) {
if (error.status !== 422) {
throw error;
}
}
const { data: currentLabels } = await github.rest.issues.listLabelsOnIssue({
owner: context.repo.owner,
repo: context.repo.repo,