From 31f09b7ed632a4c0665f36b4d410c0405e55c82d Mon Sep 17 00:00:00 2001
From: Philip Reimer <5737222+philipreimer@users.noreply.github.com>
Date: Wed, 26 Oct 2022 16:39:00 +0200
Subject: [PATCH] re-enable pushing of container image to ghcr.io

---
 .github/workflows/ide-publish.yml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/ide-publish.yml b/.github/workflows/ide-publish.yml
index 70812af..0c56062 100644
--- a/.github/workflows/ide-publish.yml
+++ b/.github/workflows/ide-publish.yml
@@ -3,11 +3,10 @@ name: ide-publish
 on:
   push:
     tags:
-      - '[0-9]+.[0-9]+'
+      - "[0-9]+.[0-9]+"
 
 jobs:
   publish:
-
     runs-on: ubuntu-latest
 
     steps:
@@ -29,4 +28,4 @@ jobs:
           # build image
           docker build . --tag ${CONTAINER_IMAGE}
           # push image
-          # docker push ${CONTAINER_IMAGE}
+          docker push ${CONTAINER_IMAGE}