set push_preview=true in doc generation

ablaom · web-flow · commit 3bb422149389 · 2021-08-09T17:14:33.000+12:00
diff --git a/docs/make.jl b/docs/make.jl
@@ -6,5 +6,6 @@ makedocs(
 )
 
 deploydocs(
-    repo = "github.com/JuliaAI/OpenML.jl.git",
+    repo = "github.com/JuliaAI/OpenML.jl",
+    push_preview = true
 )

Original file line number	Diff line number	Diff line change
`@@ -6,5 +6,6 @@ makedocs(`
`6`	`6`	`)`
`7`	`7`
`8`	`8`	`deploydocs(`
`9`		`- repo = "github.com/JuliaAI/OpenML.jl.git",`
	`9`	`+ repo = "github.com/JuliaAI/OpenML.jl",`
	`10`	`+ push_preview = true`
`10`	`11`	`)`