Merge branch 'master' into dev

2026-08-28 13:34:24 +00:00 · 2020-08-17 22:08:17 +02:00
parent 30044bc8da 0db3f3ca0b
commit b80695cd18
1 changed files with 0 additions and 11 deletions
@@ -1,11 +0,0 @@
-name: branch-cleanup
-on:
-  pull_request:
-    branches:
-      - dev
-jobs:
-  cleanup-branch:
-    name: on pull request merge, delete the branch
-    runs-on: ubuntu-latest
-    steps:
-    - uses: jessfraz/branch-cleanup-action@master