Fix devbranch for docs

FriesischScott · web-flow · commit 92030863c9b8 · 2025-11-10T18:21:43.000+01:00
Now `dev` will deploy successfully again.
diff --git a/docs/make.jl b/docs/make.jl
@@ -80,7 +80,7 @@ if !isempty(ARGS) && ARGS[1] == "vite"
 		repo = "github.com/JuliaUQ/UncertaintyQuantification.jl",
 		target = joinpath(@__DIR__, "build"),
 		branch = "gh-pages",
-		devbranch = "main",
+		devbranch = "master",
 		push_preview = true,
 	)
 end

Original file line number	Diff line number	Diff line change
`@@ -80,7 +80,7 @@ if !isempty(ARGS) && ARGS[1] == "vite"`
`80`	`80`	`repo = "github.com/JuliaUQ/UncertaintyQuantification.jl",`
`81`	`81`	`target = joinpath(@__DIR__, "build"),`
`82`	`82`	`branch = "gh-pages",`
`83`		`- devbranch = "main",`
	`83`	`+ devbranch = "master",`
`84`	`84`	`push_preview = true,`
`85`	`85`	`)`
`86`	`86`	`end`