mirror of https://github.com/VLSIDA/OpenRAM.git
Push only the latest version tag
This commit is contained in:
parent
818a9d2317
commit
b970756816
|
|
@ -57,10 +57,10 @@ jobs:
|
|||
git tag ${{ env.LATEST_VERSION }} HEAD
|
||||
# Push to private/dev
|
||||
git pull private-repo dev
|
||||
git push private-repo HEAD:dev --tags
|
||||
git push private-repo HEAD:dev ${{ env.LATEST_VERSION }}
|
||||
# Push to public-repo/dev
|
||||
git pull public-repo dev
|
||||
git push public-repo HEAD:dev --tags
|
||||
git push public-repo HEAD:dev ${{ env.LATEST_VERSION }}
|
||||
# Push to public/stable
|
||||
git pull public-repo stable
|
||||
git push public-repo HEAD:stable --tags
|
||||
git push public-repo HEAD:stable ${{ env.LATEST_VERSION }}
|
||||
|
|
|
|||
|
|
@ -33,12 +33,14 @@ jobs:
|
|||
git tag "v${NEXT_VERSION}" HEAD
|
||||
- name: Push changes
|
||||
run: |
|
||||
# Read next tag
|
||||
export NEXT_TAG="v$(cat VERSION)"
|
||||
# Push to private/dev
|
||||
git pull private-repo dev
|
||||
git push private-repo HEAD:dev --tags
|
||||
git push private-repo HEAD:dev ${NEXT_TAG}
|
||||
# Push to public/dev
|
||||
git pull public-repo dev
|
||||
git push public-repo HEAD:dev --tags
|
||||
git push public-repo HEAD:dev ${NEXT_TAG}
|
||||
# Push to public/stable
|
||||
git pull public-repo stable
|
||||
git push public-repo HEAD:stable --tags
|
||||
git push public-repo HEAD:stable ${NEXT_TAG}
|
||||
|
|
|
|||
Loading…
Reference in New Issue