diff --git a/.github/workflows/pr-commands-closed.yml b/.github/workflows/pr-commands-closed.yml new file mode 100644 index 00000000000..bc179127c0b --- /dev/null +++ b/.github/workflows/pr-commands-closed.yml @@ -0,0 +1,17 @@ +name: Run when PRs are closed +on: + pull_request: + types: + - closed + +jobs: + close_job: + # 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: + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} \ No newline at end of file