Removed release branch deletion

This commit is contained in:
Christian Klemm 2019-12-01 00:17:52 +01:00
parent 075c57ca06
commit f368be925f
No known key found for this signature in database
GPG Key ID: 57578469FC907C48
1 changed files with 1 additions and 1 deletions

View File

@ -35,7 +35,7 @@ jobs:
git commit -m "Bump version ${GITHUB_REF:10}"
git checkout -t origin/master
git merge -m "Release ${GITHUB_REF:10}" --no-ff release/${GITHUB_REF:10}
git push --delete release/${GITHUB_REF:10}
git push
- name: Publish
run: |