mirror of
https://github.com/wagoid/commitlint-github-action.git
synced 2025-11-07 08:06:54 +00:00
fix: perform an atomic push when releasing
This avoids the following error: "Updates were rejected because the tip of your current branch is behind its remote counterpart" This happens when a PR is merged while release is in progress.
This commit is contained in:
parent
79545937e0
commit
9d00d1e757
1 changed files with 1 additions and 1 deletions
2
.github/workflows/ci.yml
vendored
2
.github/workflows/ci.yml
vendored
|
|
@ -64,7 +64,7 @@ jobs:
|
||||||
- name: Push to docker registry
|
- name: Push to docker registry
|
||||||
run: |
|
run: |
|
||||||
docker push $DOCKER_REGISTRY_URL/wagoid/commitlint-github-action:$VERSION
|
docker push $DOCKER_REGISTRY_URL/wagoid/commitlint-github-action:$VERSION
|
||||||
- run: git push --follow-tags origin master
|
- run: git push --atomic --follow-tags origin master
|
||||||
- name: Create a git tag for the major version
|
- name: Create a git tag for the major version
|
||||||
run: |
|
run: |
|
||||||
major=`echo $VERSION | sed -E 's/([0-9]+)(.+)/\1/'`
|
major=`echo $VERSION | sed -E 's/([0-9]+)(.+)/\1/'`
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue