From f2d0c9fd82cab3a48b786a7a66ee869d6e1b7cb7 Mon Sep 17 00:00:00 2001
From: Michael Hohn <hohn@github.com>
Date: Tue, 6 May 2025 18:12:24 -0700
Subject: [PATCH] minor workspace config change

---
 mrvaserver.code-workspace | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/mrvaserver.code-workspace b/mrvaserver.code-workspace
index 664423f..2a67498 100644
--- a/mrvaserver.code-workspace
+++ b/mrvaserver.code-workspace
@@ -11,6 +11,7 @@
         }
     ],
     "settings": {
-        "makefile.configureOnOpen": false
+        "makefile.configureOnOpen": false,
+        "sarif-viewer.connectToGithubCodeScanning": "off"
     }
 }
\ No newline at end of file