Merge branch 'dev' of https://github.com/JuliaAI/OpenML.jl into dev

ablaom · ablaom · commit 9575e2ab96a4 · 2021-08-10T08:26:36.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`	`)`