git push with tags, #214

2026-07-27 20:05:57 +00:00 · 2026-05-17 13:38:00 +02:00
parent 3c2997a78c
commit 5be33e7ef5
1 changed files with 2 additions and 0 deletions
@@ -280,11 +280,13 @@ 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