From aa93df7e815d4d6b705596862f352934b57bc9da Mon Sep 17 00:00:00 2001
From: Riza Suminto <riza.on@gmail.com>
Date: Sat, 21 Oct 2023 00:23:36 -0700
Subject: [PATCH] fix naming in devcontainer.json

---
 .devcontainer/devcontainer.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index 0667bd20d..9f87bbf5a 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -1,8 +1,8 @@
 {
-  "name": "Impala Dev",
+  "name": "Judgels Dev",
   "dockerFile": "Dockerfile",
   "runArgs": [
-    "--privileged",
+    "--privileged"
   ],
   "remoteUser": "tokidev",
   "containerUser": "tokidev",