added --tags to git push

2026-07-27 20:05:57 +00:00 · 2026-05-17 13:31:56 +02:00
parent 0b77a86a55
commit 37baa160be
1 changed files with 2 additions and 2 deletions
@@ -280,12 +280,12 @@ popd
 echo doing LOCAL tag and COMMIT with ${ver}
 git tag ${ver}
 git commit -a -m "${ver}"
-git push
+git push --tags
 echo doing ARDUINO Repo tag and COMMIT with ${ver}
 cd ~/git/U8g2_Arduino
 git tag ${ver}
 git commit -a -m "${ver}"
-git push
+git push --tags
 echo now create a release in gitub for U8glib_Arduino, tag/name = ${ver}
 echo no prefix required, release name can be empty
 # Relases in github: