Skip to content

Commit

Permalink
chore(ci): try out PR labeling
Browse files Browse the repository at this point in the history
Release-As: 1.11.9
  • Loading branch information
majori committed Jul 11, 2024
1 parent a2cf17b commit b0f780f
Showing 1 changed file with 12 additions and 4 deletions.
16 changes: 12 additions & 4 deletions .github/workflows/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -75,10 +75,18 @@ jobs:
});
const pr_number = items[0].number;
github.rest.issues.updateLabel({
const issue = {
issue_number: pr_number,
owner: context.repo.owner,
repo: context.repo.repo,
name: "autorelease: tagged",
new_name: "autorelease: published",
})
};
github.rest.issues.createLabel({
...issue,
name: "autorelease: published"
});
github.rest.issues.removeLabel({
...issue,
name: "autorelease: tagged"
});

0 comments on commit b0f780f

Please sign in to comment.