From 8534b12d4e0715d31632d7a3ba76913ddaab32da Mon Sep 17 00:00:00 2001
From: Antoine Paletta <98616558+apaletta3@users.noreply.github.com>
Date: Mon, 16 Oct 2023 18:16:39 +0200
Subject: [PATCH] fix: add back reportMissingModuleSource in devcontainer.json
 because stubs will not fix it

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

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index 5604c88a3..c50764e56 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -27,6 +27,9 @@
                         "path": "/bin/bash",
                         "icon": "terminal-bash"
                     }
+                },
+                "python.analysis.diagnosticSeverityOverrides": {
+                    "reportMissingModuleSource": "none"
                 }
             },
             "extensions": [