Push tags as well

diff --git a/Makefile b/Makefile
index 2125fd80d84782c34d4f593dd400ae764772458d..99621dc9a89f1218aff6caa3b03378f60c6ce66f 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -7,12 +7,12 @@ LLAMA_CPP_BASE=sources/llama.cpp
 WHISPER_CPP_BASE=sources/whisper.cpp
 
 define publish_updates # (repobase)
-       git -C $(1) push origin master
-       git -C $(1) push origin upstream/latest
-       git -C $(1) push origin debian/latest
-       git -C $(1) push mbaudier@github master
-       git -C $(1) push mbaudier@github upstream/latest
-       git -C $(1) push mbaudier@github debian/latest
+       git -C $(1) push --tags origin master
+       git -C $(1) push --tags origin upstream/latest
+       git -C $(1) push --tags origin debian/latest
+       git -C $(1) push --tags mbaudier@github master
+       git -C $(1) push --tags mbaudier@github upstream/latest
+       git -C $(1) push --tags mbaudier@github debian/latest
 endef
 
 publish-updates: