Add docker image pushing

ci/release-image/.gitignore

@@ -1 +0,0 @@
-code-server*.tar.gz

ci/release-image/Dockerfile

@@ -3,7 +3,7 @@ FROM debian:10
 RUN apt-get update
 RUN apt-get install -y curl
 
-COPY code-server*.tar.gz /tmp
+COPY release/code-server*.tar.gz /tmp
 RUN cd /tmp && tar -xzf code-server*.tar.gz && \
   cp code-server*/code-server /usr/local/bin/code-server
 RUN rm -rf /tmp/*

ci/release-image/push.sh

@@ -0,0 +1,22 @@
+#!/usr/bin/env bash
+
+set -euo pipefail
+
+main() {
+  cd "$(dirname "$0")/../.."
+
+  if [[ ${CI:-} ]]; then
+    echo "$DOCKER_PASSWORD" | docker login -u "$DOCKER_USERNAME" --password-stdin
+  fi
+
+  imageTag="codercom/code-server:$VERSION"
+  latest="codercom/code-server:latest"
+  if [[ $TRAVIS_CPU_ARCH == "arm64" ]]; then
+    imageTag+="-arm64"
+    latest="codercom/code-server:arm64"
+  fi
+  docker build -t "$imageTag" -t "$latest" -f ./ci/release-image/Dockerfile
+  docker push codercom/code-server
+}
+
+main "$@"