From 3a6356510619ed9b5ce0d563b028d80b61da4bab Mon Sep 17 00:00:00 2001
From: Andrew Eisenberg <aeisenberg@github.com>
Date: Tue, 24 Mar 2020 15:42:51 -0700
Subject: [PATCH] chore: Add default extension for remove development

---
 .devcontainer/devcontainer.json      | 5 +++++
 vscode-codeql-starter.code-workspace | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)
 create mode 100644 .devcontainer/devcontainer.json

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
new file mode 100644
index 0000000..ea12d4b
--- /dev/null
+++ b/.devcontainer/devcontainer.json
@@ -0,0 +1,5 @@
+{
+  "extensions": [
+    "github.vscode-codeql"
+  ]
+ }
diff --git a/vscode-codeql-starter.code-workspace b/vscode-codeql-starter.code-workspace
index eb1617e..6c3aacf 100644
--- a/vscode-codeql-starter.code-workspace
+++ b/vscode-codeql-starter.code-workspace
@@ -30,4 +30,4 @@
 		"ql.distribution.owner": "github",
 		"ql.distribution.repository": "codeql-cli-binaries"
 	}
-}
\ No newline at end of file
+}