Fix JSON.

bluegate010 · bluegate010 · commit a36922533d8f · 2025-08-13T05:27:14.000Z
diff --git a/.github/workflows/deploy_pages.yml b/.github/workflows/deploy_pages.yml
@@ -27,7 +27,7 @@ jobs:
           {
             "src": "specifications/device-identity-provisioning/spec.ocp",
             "append_git_rev_to_version": true,
-            "gh_pages_html": "device-identity-provisioning/HEAD"
+            "gh_pages_html": "device-identity-provisioning/HEAD",
             "gh_pages_pdf": "device-identity-provisioning/HEAD/pdf"
           },
           {

Original file line number	Diff line number	Diff line change
`@@ -27,7 +27,7 @@ jobs:`
`27`	`27`	`{`
`28`	`28`	`"src": "specifications/device-identity-provisioning/spec.ocp",`
`29`	`29`	`"append_git_rev_to_version": true,`
`30`		`- "gh_pages_html": "device-identity-provisioning/HEAD"`
	`30`	`+ "gh_pages_html": "device-identity-provisioning/HEAD",`
`31`	`31`	`"gh_pages_pdf": "device-identity-provisioning/HEAD/pdf"`
`32`	`32`	`},`
`33`	`33`	`{`