diff --git a/.github/workflows/pre-release.yml b/.github/workflows/pre-release.yml index 72581ad..cc41cc2 100644 --- a/.github/workflows/pre-release.yml +++ b/.github/workflows/pre-release.yml @@ -176,46 +176,3 @@ jobs: core.warning(`Could not delete tag ${r.tag_name}: ${e.message}`); } } - - - name: Update PR labels - if: success() - uses: actions/github-script@v7 - with: - github-token: ${{ secrets.GITHUB_TOKEN }} - script: | - const prNumber = context.payload.pull_request.number; - - const labelsToCreate = [ - { name: 'released', color: '0075ca' }, - { name: 'released on @main', color: '0052cc' } - ]; - - for (const label of labelsToCreate) { - try { - await github.rest.issues.getLabel({ - owner: context.repo.owner, - repo: context.repo.repo, - name: label.name - }); - } catch { - await github.rest.issues.createLabel({ - owner: context.repo.owner, - repo: context.repo.repo, - name: label.name, - color: label.color - }); - } - } - - await github.rest.issues.removeAllLabels({ - owner: context.repo.owner, - repo: context.repo.repo, - issue_number: prNumber - }); - - await github.rest.issues.addLabels({ - owner: context.repo.owner, - repo: context.repo.repo, - issue_number: prNumber, - labels: ['released', 'released on @main'] - });