Generate Flex endpoint

This commit is contained in:
Nicolas Grekas
2021-09-16 18:12:10 +02:00
parent 0aadfa1169
commit 4b3c1efdbf
4 changed files with 124 additions and 2 deletions
+30
View File
@@ -0,0 +1,30 @@
name: Closing PR
on:
pull_request_target:
types: [ closed ]
defaults:
run:
shell: bash
jobs:
cleanup:
name: Cleanup
runs-on: Ubuntu-20.04
steps:
-
name: Checkout
uses: actions/checkout@v2
id: checkout
with:
fetch-depth: 0
-
name: Cleanup Flex testing endpoint
run: |
git branch -r --list 'origin/flex-pull-${{ github.event.number }}/*' \
| sed 's/[^/]*\//:/' \
| xargs -r git push origin :flex/pull-${{ github.event.number }} || true