diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index c7a360a6df1..8c68b3e5e57 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -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 diff --git a/.github/workflows/pr-commands-closed.yml b/.github/workflows/pr-commands-closed.yml deleted file mode 100644 index f13475ef5d6..00000000000 --- a/.github/workflows/pr-commands-closed.yml +++ /dev/null @@ -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 }}