From 40c4dc7d10a90cda4795ac69c2922939ba5a9dbf Mon Sep 17 00:00:00 2001
From: "dev-docs-github-app[bot]"
 <178952281+dev-docs-github-app[bot]@users.noreply.github.com>
Date: Sun, 20 Apr 2025 01:02:38 +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 0000000..ad795ee
--- /dev/null
+++ b/dev-docs.json
@@ -0,0 +1,9 @@
+{
+  "gitHubApp": {
+    "approvalWorkflow": true,
+    "userDocsWorkflows": [
+      "generateUserDocs"
+    ],
+    "issues": true
+  }
+}
\ No newline at end of file