[.github] include workspace-gitpod-dev on publish to DockerHub

gitpod-io · Jul 7, 2023 · bb049e4 · bb049e4
1 parent 184fd12
commit bb049e4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/promote-images.yml b/.github/promote-images.yml
@@ -33,3 +33,4 @@
     workspace-java-17: "20.*"
     workspace-yugabytedb: "20.*"
     workspace-yugabytedb-preview: "20.*"
+    workspace-gitpod-dev: "20.*"