From f880b2734fc1341ce67ae7eaef0e58087c31cf30 Mon Sep 17 00:00:00 2001
From: Kreyren <KostWarCZE@RiXotStudio.cz>
Date: Fri, 7 Feb 2020 16:53:28 +0100
Subject: [PATCH] Update vlang_init.sh

---
 gitpod/vlang_init.sh | 2 --
 1 file changed, 2 deletions(-)

diff --git a/gitpod/vlang_init.sh b/gitpod/vlang_init.sh
index 7f7c97c..3f73740 100644
--- a/gitpod/vlang_init.sh
+++ b/gitpod/vlang_init.sh
@@ -139,8 +139,6 @@ if ! groups | grep -qF "$VLANG_GROUP"; then
 	usermod -a -G "$VLANG_GROUP" gitpod || die 1 "Unable to transfer user 'gitpod' in user-group '$VLANG_GROUP'"
 	chmod 0775 "$VLANG_SOURCE" || die 1 "Unable to set ownership to '$VLANG_SOURCE"
 	edebug "User 'gitpod' has been added in user-group '$VLANG_GROUP'"
-elif false; then # HOTFIX
-	chown -R gitpod:gitpod "$VLANG_SOURCE" || die 1 "Unable to set group ownership '$VLANG_GROUP'"
 elif groups | grep -qF $VLANG_GROUP; then
 	edebug "User 'gitpod' is already in user-group '$VLANG_GROUP'"
 else