Skip to content

[#2120] Update RepoSense contributors in documentation #298

[#2120] Update RepoSense contributors in documentation

[#2120] Update RepoSense contributors in documentation #298

Workflow file for this run

name: Delete deployments for closed pull requests
on:
pull_request_target:
branches-ignore:
- gh-pages
types: [closed]
jobs:
delete:
name: Delete pull request deployments
runs-on: ubuntu-latest
env:
ACTIONS_PULL_REQUEST_HEAD: ${{ github.event.pull_request.head.sha }}
ACTIONS_PULL_REQUEST_NUMBER: ${{ github.event.number }}
GITHUB_TOKEN: ${{ github.token }}
steps:
- name: Checkout repository
uses: actions/checkout@v3
- name: Delete deployments
run: ./config/gh-actions/delete-deploy.sh