Cut back on Gitlab-ci & misc pipeline updates

1 files changed, 15 insertions, 0 deletions

diff --git a/util/ci/docker.sh b/util/ci/docker.sh
new file mode 100755
index 000000000..dd671a007
--- /dev/null
+++ b/util/ci/docker.sh
@@ -0,0 +1,15 @@
+#!/bin/sh -e
+name=${CONTAINER_IMAGE}/server
+
+# build and publish Docker image (gitlab-ci)
+
+docker build . \
+	-t ${name}:${CI_COMMIT_SHA} \
+	-t ${name}:${CI_COMMIT_REF_NAME} \
+	-t ${name}:latest
+
+docker push ${name}:${CI_COMMIT_SHA}
+docker push ${name}:${CI_COMMIT_REF_NAME}
+[ "$CI_COMMIT_BRANCH" = master ] && docker push ${name}:latest
+
+exit 0