diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 7a9e0673c9b..df5cf2575a5 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -93,7 +93,7 @@ // Avoid accumulation of unused forwarded ports. "remote.restoreForwardedPorts": false, // Git - "git.allowNoVerifyCommit": true, // Allow omitting pre-commit hooks + "git.allowNoVerifyCommit": true, // Allow omitting pre-commit hooks "git.allowForcePush": true }, // Add the IDs of extensions you want installed when the container is created.