diff options
| author | Josh Spicer <joshspicer@github.com> | 2022-06-14 03:01:19 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-14 03:01:19 +0300 |
| commit | 2fa323248528604a3548fd1292c74c7b473c611b (patch) | |
| tree | 39831944b1ed879a3342310b6f2a107e48153aad /.devcontainer.json | |
| parent | fac5e5a4540ffc79138b94ce8edfd329a209b250 (diff) | |
Devcontainer docs (#47)
* docs
* automatically generate documentation from features.json
* trigger doc gen
* 1
* no-ci
* no-ci
* no-ci
* no-ci
* comment out pull
* Automated documentation update
* no-ci markdown table
* Automated documentation update
* no-ci
* Automated documentation update
* branch to main
Co-authored-by: Devcontainers CI <vscr-feedback@microsoft.com>
Diffstat (limited to '.devcontainer.json')
| -rw-r--r-- | .devcontainer.json | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.devcontainer.json b/.devcontainer.json index b4ea49c..d6a9dda 100644 --- a/.devcontainer.json +++ b/.devcontainer.json @@ -13,6 +13,9 @@ "contents": "write", "workflows": "write" } + }, + "joshspicer/devcontainer-docs": { + "permissions": "write-all" } } } |