[proxy] Re-direct mechanism controlled by env var MAINTENANCE_REDIRECT

gitpod-io · Sep 21, 2023 · 79367c5 · 79367c5
1 parent 48732b7
commit 79367c5
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/components/proxy/conf/Caddyfile b/components/proxy/conf/Caddyfile
@@ -195,6 +195,22 @@ https://{$GITPOD_DOMAIN} {
 	import ssl_configuration
 	import security_headers
 
+	# maintenance redirect (+ redirect away afterwards)
+	@maintenance_redirect {
+		expression `'{$MAINTENANCE_REDIRECT}' == 'true'`
+		not path /maintenance/*
+	}
+	handle @maintenance_redirect {
+		redir https://{$GITPOD_DOMAIN}/maintenance/index.html 307
+	}
+	@maintenance_done_redirect {
+		expression `'{$MAINTENANCE_REDIRECT}' != 'true'`
+		path /maintenance/*
+	}
+	handle @maintenance_done_redirect {
+		redir https://{$GITPOD_DOMAIN}/workspaces permanent
+	}
+
 	@proxy_server_public_api path /public-api/gitpod.experimental.v1.HelloService*
 	handle @proxy_server_public_api {
 		uri strip_prefix /public-api