From 67beeaea1604093f1ac065d19e19ec6d3b847cba Mon Sep 17 00:00:00 2001 From: Hannes Winkler Date: Tue, 16 Apr 2024 09:00:06 +0000 Subject: [PATCH] add github CLI to devcontainer --- .devcontainer/devcontainer.json | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 8292345b..db6059c2 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -8,7 +8,9 @@ "dockerfile": "Dockerfile" }, // Features to add to the dev container. More info: https://containers.dev/features. - // "features": {}, + "features": { + "ghcr.io/devcontainers/features/github-cli:1": {} + }, // Use 'forwardPorts' to make a list of ports inside the container available locally. // "forwardPorts": [], // Configure tool-specific properties.