i love json

CWRUbotix · Feb 7, 2024 · 99fad85 · 99fad85
1 parent 47d2c9e
commit 99fad85
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 5 deletions.
diff --git a/.devcontainer/linux/devcontainer.json b/.devcontainer/linux/devcontainer.json
@@ -5,11 +5,8 @@
         "DISPLAY": "${localEnv:DISPLAY}"
     },
     "mounts": [
-        // SSH Keys
         "type=bind,source=/home/${localEnv:USER}/.ssh,target=/root/.ssh,readonly",
-        // X11 for guis
         "source=/tmp/.X11-unix,target=/tmp/.X11-unix,type=bind,consistency=cached",
-        // gitconfig
         "type=bind,source=/home/${localEnv:USER}/.gitconfig,target=/root/.gitconfig,readonly"
     ],
     "workspaceFolder": "/root/rov-24",

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -30,8 +30,6 @@ jobs:
         env:
           DEFAULT_BRANCH: main
           VALIDATE_ANSIBLE: false
-          # We use JSON with comments so JSON linter fails.
-          VALIDATE_JSON: false
           # Would need to update our documentation format
           VALIDATE_MARKDOWN: false