From bc241b45418c599fe69bae3c8c259190f9770195 Mon Sep 17 00:00:00 2001
From: "dev-docs-github-app[bot]"
 <178952281+dev-docs-github-app[bot]@users.noreply.github.com>
Date: Thu, 12 Jun 2025 09:55:18 +0000
Subject: [PATCH] Create file

---
 dev-docs.json | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 dev-docs.json

diff --git a/dev-docs.json b/dev-docs.json
new file mode 100644
index 0000000000..ad795ee991
--- /dev/null
+++ b/dev-docs.json
@@ -0,0 +1,9 @@
+{
+  "gitHubApp": {
+    "approvalWorkflow": true,
+    "userDocsWorkflows": [
+      "generateUserDocs"
+    ],
+    "issues": true
+  }
+}
\ No newline at end of file