From 014186bd29e3b34162ab65de48b79e4fdf359816 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?G=C3=A1bor=20Cs=C3=A1rdi?= <csardi.gabor@gmail.com>
Date: Mon, 14 Oct 2024 13:11:17 +0200
Subject: [PATCH] .devcontainer dir is implicitly included

Hopefully. Those files are not optional.
---
 src/gh-script/devcontainer-template.json | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/gh-script/devcontainer-template.json b/src/gh-script/devcontainer-template.json
index 707fec4..aef5044 100644
--- a/src/gh-script/devcontainer-template.json
+++ b/src/gh-script/devcontainer-template.json
@@ -11,8 +11,6 @@
         "R"
     ],
     "optionalPaths": [
-        "Dockerfile",
-        "docker-compose.yml",
         ".github/*"
     ]
 }