diff options
| -rw-r--r-- | doc/configs.md | 1 | ||||
| -rw-r--r-- | doc/configs.txt | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/doc/configs.md b/doc/configs.md index e45be040..9de59c7e 100644 --- a/doc/configs.md +++ b/doc/configs.md @@ -3945,6 +3945,7 @@ Default config: ```lua { ".github/workflows", ".forgejo/workflows", ".gitea/workflows" } ``` +- `workspace_required` : `true` --- diff --git a/doc/configs.txt b/doc/configs.txt index 8c1e2c14..32150f24 100644 --- a/doc/configs.txt +++ b/doc/configs.txt @@ -3519,6 +3519,7 @@ Default config: ```lua { ".github/workflows", ".forgejo/workflows", ".gitea/workflows" } ``` +- `workspace_required` : `true` ------------------------------------------------------------------------------ |