A bit more to push tags

This commit is contained in:
Leon Mika 2025-06-25 14:03:18 +02:00
parent ece72937a3
commit c8b3f05fec

View file

@ -25,4 +25,4 @@ jobs:
git config --global user.email 'lmika@lmika.org'
git remote add downstream git@github.com:lmika/postlist-for-micro.blog.git
git push downstream main
git push downstream --tags
git push downstream refs/tags/$(git name-rev --tags --name-only $(git rev-parse HEAD))