Add dev server split

jaapio · jaapio · commit 678fa1c7b392 · 2025-09-10T22:25:30.000+02:00
diff --git a/config.subsplit-publish.json b/config.subsplit-publish.json
@@ -1,5 +1,10 @@
 {
   "sub-splits": [
+    {
+      "name": "dev-server",
+      "directory": "packages/dev-server",
+      "target": "git@github.com:phpDocumentor/dev-server.git"
+    },
     {
       "name": "guides-core",
       "directory": "packages/guides",

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,10 @@`
`1`	`1`	`{`
`2`	`2`	`"sub-splits": [`
	`3`	`+ {`
	`4`	`+ "name": "dev-server",`
	`5`	`+ "directory": "packages/dev-server",`
	`6`	`+ "target": "[email protected]:phpDocumentor/dev-server.git"`
	`7`	`+ },`
`3`	`8`	`{`
`4`	`9`	`"name": "guides-core",`
`5`	`10`	`"directory": "packages/guides",`