push-subtrees

2023-04-27 11:45:37 -06:00
parent 7e5c0a4d2b
commit 18bbd07c12
1 changed files with 14 additions and 0 deletions
--- a/push-subtrees.sh
+++ b/push-subtrees.sh
@@ -0,0 +1,14 @@
+
+#! /bin/bash
+#
+
+git subtree push --prefix=kiss git@github.com:kiss-lang/kiss.git main
+
+libs=$(ls libraries)
+
+for lib in $libs; do
+	if [ $lib = "_deprecated" ]; then continue; fi
+	if [ $lib = "_standalone" ]; then continue; fi
+
+	git subtree push --prefix=projects/$lib git@github.com:kiss-lang/$lib.git main
+done