Merge remote-tracking branch 'upstream/main' into issue-215-36d0d217ca4a

konard · konard · commit ef8b84b7583e · 2026-05-05T23:29:54.000Z
diff --git a/.changeset/config.json b/.changeset/config.json
@@ -3,7 +3,7 @@
   "changelog": [
     "@changesets/changelog-github",
     {
-      "repo": "<PLACEHOLDER>"
+      "repo": "ProverCoderAI/docker-git"
     }
   ],
   "commit": false,

Original file line number	Diff line number	Diff line change
`@@ -3,7 +3,7 @@`
`3`	`3`	`"changelog": [`
`4`	`4`	`"@changesets/changelog-github",`
`5`	`5`	`{`
`6`		`- "repo": "<PLACEHOLDER>"`
	`6`	`+ "repo": "ProverCoderAI/docker-git"`
`7`	`7`	`}`
`8`	`8`	`],`
`9`	`9`	`"commit": false,`