Skip to content

Commit

Permalink
feat: label PR with release tags (#28107)
Browse files Browse the repository at this point in the history
  • Loading branch information
mistercrunch authored and pull[bot] committed Jul 1, 2024
1 parent c4997b2 commit e961149
Showing 1 changed file with 12 additions and 1 deletion.
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
name: Docker Publish Release
name: Publish a Release

on:
release:
Expand Down Expand Up @@ -99,3 +99,14 @@ jobs:
uses: actions/checkout@v4
with:
persist-credentials: false

- name: Label the PRs with the right release-related labels
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
RELEASE="${{ github.event.release.tag_name }}"
if [ "${{ github.event_name }}" = "workflow_dispatch" ]; then
# in the case of a manually-triggered run, read release from input
RELEASE="${{ github.event.inputs.release }}"
fi
supersetbot release-label $RELEASE

0 comments on commit e961149

Please sign in to comment.