From 3b777287aa40239327f8ff00dce2f15f64459e79 Mon Sep 17 00:00:00 2001
From: Nils Dijk <nils@citusdata.com>
Date: Fri, 1 Dec 2023 12:54:35 +0000
Subject: [PATCH] small improvement of environment

---
 .devcontainer/devcontainer.json | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index 005146104..10d4fef64 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -14,6 +14,7 @@
                 "github.vscode-pull-request-github",
                 "ms-vscode.cpptools-extension-pack",
                 "ms-vsliveshare.vsliveshare",
+                "mutantdino.resourcemonitor", // decide if we want to keep this
             ],
             "settings": {
                 "files.exclude": {