From 387d041b7a6250e028f03549287a7c83726ffa33 Mon Sep 17 00:00:00 2001
From: Jan Keromnes <janx@linux.com>
Date: Wed, 2 Dec 2020 11:03:03 +0100
Subject: [PATCH] Trigger a Gitpod dev image rebuild (in order to get
 upstream's Node.js 12 upgrade) (#3388)

* Trigger a Gitpod dev image rebuild (in order to get upstream's Node.js 12 upgrade)

* Update Dockerfile
---
 support/docker/gitpod/Dockerfile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/support/docker/gitpod/Dockerfile b/support/docker/gitpod/Dockerfile
index 8f7223d85..e18c392bf 100644
--- a/support/docker/gitpod/Dockerfile
+++ b/support/docker/gitpod/Dockerfile
@@ -1,5 +1,9 @@
 FROM gitpod/workspace-postgres
 
+# Gitpod will not rebuild PeerTube's dev image unless *some* change is made to this Dockerfile.
+# To trigger a rebuild, simply increase this counter:
+ENV TRIGGER_REBUILD 1
+
 # Install PeerTube's dependencies.
 RUN sudo apt-get update -q && sudo apt-get install -qy \
  ffmpeg \