From 071c1c617d1fc0ff000452e3d8995e31511fdded Mon Sep 17 00:00:00 2001
From: EmmalineLake <84336636+EmmalineLake@users.noreply.github.com>
Date: Wed, 3 Nov 2021 18:03:46 -0500
Subject: [PATCH] vscode: Recommend remote development extension.

Add the VSCode Remote Development Extension to our list of recommended extensions.
---
 .vscode/extensions.json | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.vscode/extensions.json b/.vscode/extensions.json
index 752115e914..f61fc04da0 100644
--- a/.vscode/extensions.json
+++ b/.vscode/extensions.json
@@ -14,9 +14,10 @@
     "recommendations": [
         "42crunch.vscode-openapi",
         "dbaeumer.vscode-eslint",
-        "esbenp.prettier-vscode"
+        "esbenp.prettier-vscode",
+        "ms-vscode-remote.vscode-remote-extensionpack"
     ],
 
-    // Extensions recommended by VS Code that are not recommended for users of zulip/zulip.
+    // Extensions recommended by VS Code which are not recommended for users of zulip/zulip.
     "unwantedRecommendations": []
 }