Introduce update publishing

diff --git a/Makefile b/Makefile
index 403fe91cbc513868e92630215474c774eb283ba0..2125fd80d84782c34d4f593dd400ae764772458d 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -4,6 +4,21 @@ LLAMA_CPP_CHECKOUT=f08c4c0
 
 GGML_BASE=sources/ggml
 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
+endef
+
+publish-updates:
+       $(call publish_updates,$(GGML_BASE))
+       $(call publish_updates,$(LLAMA_CPP_BASE))
+       $(call publish_updates,$(WHISPER_CPP_BASE))
 
 update-ggml:
        # make sure evrything is clean