diff options
author | Josh Spicer <joshspicer@github.com> | 2022-06-21 23:14:14 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-06-21 23:14:14 +0300 |
commit | 3b6fe6e60843e5b9d77b6d97e9240910cd38c45b (patch) | |
tree | 805bca9bb38def19937698af88d1a5af6966eb34 /src/git | |
parent | ceab9628c66b240593fad1da6ba363684f7c1fff (diff) |
add descriptions to feature metadata (no-ci)
Diffstat (limited to 'src/git')
-rw-r--r-- | src/git/devcontainer-feature.json | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/git/devcontainer-feature.json b/src/git/devcontainer-feature.json index 6d9686b..ebe919f 100644 --- a/src/git/devcontainer-feature.json +++ b/src/git/devcontainer-feature.json @@ -1,10 +1,14 @@ { "id": "git", - "name": "Git (may require compilation)", + "name": "Git (from source)", + "description": "Install an up-to-date version of Git, built from source as needed. Useful for when you want the latest and greatest features. Auto-detects latest stable version and installs needed dependencies.", "options": { "version": { "type": "string", - "proposals": ["latest", "os-provided"], + "proposals": [ + "latest", + "os-provided" + ], "default": "os-provided", "description": "Select or enter a Git version." }, |