use push previews

ellisbrown · ellisbrown · commit e4c9d6994bad · 2021-07-15T14:34:37.000-07:00
diff --git a/docs/make.jl b/docs/make.jl
@@ -39,4 +39,5 @@ makedocs(
 deploydocs(;
     repo = "github.com/JuliaFirstOrder/LCSO.jl.git",
     devbranch = "main",
+    push_preview = true,
 )

Original file line number	Diff line number	Diff line change
`@@ -39,4 +39,5 @@ makedocs(`
`39`	`39`	`deploydocs(;`
`40`	`40`	`repo = "github.com/JuliaFirstOrder/LCSO.jl.git",`
`41`	`41`	`devbranch = "main",`
	`42`	`+ push_preview = true,`
`42`	`43`	`)`