Switch CI/CD to Gitea Actions and Gitea registry

docker/scripts/push_images.sh

@@ -0,0 +1,40 @@
+#!/bin/sh
+set -eu
+
+mode="${1:-all}"
+
+push_image() {
+  service="$1"
+  prefix="${IMAGE_PREFIX:-cloudlysis}"
+  tag="${IMAGE_TAG:-dev}"
+  docker push "${prefix}/${service}:${tag}"
+}
+
+push_platform() {
+  push_image gateway
+  push_image aggregate
+  push_image projection
+  push_image runner
+}
+
+push_control() {
+  push_image control-api
+  push_image control-ui
+}
+
+case "$mode" in
+  platform)
+    push_platform
+    ;;
+  control)
+    push_control
+    ;;
+  all)
+    push_platform
+    push_control
+    ;;
+  *)
+    echo "usage: sh docker/scripts/push_images.sh [platform|control|all]" 1>&2
+    exit 2
+    ;;
+esac