You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
17 lines
530 B
17 lines
530 B
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 }}
|