Change devbranch from 'main' to 'master'

michel2323 · web-flow · commit b13706c164a9 · 2025-11-26T13:53:33.000-06:00
diff --git a/docs/make.jl b/docs/make.jl
@@ -47,7 +47,7 @@ makedocs(
 deploydocs(
     repo = "github.com/JuliaGPU/oneAPI.jl.git",
     target = "build",
-    devbranch = "main",
+    devbranch = "master",
     devurl = "dev",
     push_preview = true,
 )

Original file line number	Diff line number	Diff line change
`@@ -47,7 +47,7 @@ makedocs(`
`47`	`47`	`deploydocs(`
`48`	`48`	`repo = "github.com/JuliaGPU/oneAPI.jl.git",`
`49`	`49`	`target = "build",`
`50`		`- devbranch = "main",`
	`50`	`+ devbranch = "master",`
`51`	`51`	`devurl = "dev",`
`52`	`52`	`push_preview = true,`
`53`	`53`	`)`