CI: Remove pr-commands-closed workflow as replaced with auto-milestone (#72793)

This commit is contained in:
Horst Gutmann
2023-08-03 10:59:28 +02:00
committed by GitHub
parent b6c8ac6dd1
commit 1e8879a041
2 changed files with 0 additions and 21 deletions

1
.github/CODEOWNERS vendored
View File

@@ -615,7 +615,6 @@ embed.go @grafana/grafana-as-code
/.github/workflows/pr-codeql-analysis-go.yml @DanCech
/.github/workflows/pr-codeql-analysis-javascript.yml @DanCech
/.github/workflows/pr-codeql-analysis-python.yml @DanCech
/.github/workflows/pr-commands-closed.yml @tolzhabayev
/.github/workflows/pr-commands.yml @marefr
/.github/workflows/pr-patch-check.yml @grafana/grafana-delivery
/.github/workflows/sync-mirror.yml @grafana/grafana-delivery

View File

@@ -1,20 +0,0 @@
name: Run when PRs are closed
on:
pull_request:
types:
- closed
concurrency:
group: pr-commands-closed-${{ github.event.number }}
jobs:
close_job:
permissions:
pull-requests: write
# this job will only run if the PR has been closed without being merged
if: github.event.pull_request.merged == false
runs-on: ubuntu-latest
steps:
- run: |
echo PR #${{ github.event.number }} has been closed without being merged, removing milestone.
gh pr edit ${{ github.event.number }} --milestone "" --repo $GITHUB_REPOSITORY
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}