just push tag

This commit is contained in:
Oliver Lippert 2024-02-02 00:17:50 +01:00
parent c9fbc85ce7
commit ec5622ffdb
Signed by: oliver
GPG key ID: 4AE99C459BC7D2B3

View file

@ -16,9 +16,5 @@ jobs:
- name: Push Git Tag - name: Push Git Tag
run: | run: |
git config --global user.email "you@example.com"
git config --global user.name "Your Name"
git commit -m "empty commit" --allow-empty
git tag ${{ github.run_number }} git tag ${{ github.run_number }}
git push origin --all git push origin ${{ github.run_number }}