Remove protocol from URL in deploydocs (#30)

gdalle · web-flow · commit 59ded48442fb · 2024-03-11T18:23:57.000+01:00
diff --git a/docs/make.jl b/docs/make.jl
@@ -8,5 +8,5 @@ makedocs(
 )
 
 deploydocs(
-    repo = "https://github.com/SciML/ADTypes.jl.git"
+    repo = "github.com/SciML/ADTypes.jl.git"
 )

Original file line number	Diff line number	Diff line change
`@@ -8,5 +8,5 @@ makedocs(`
`8`	`8`	`)`
`9`	`9`
`10`	`10`	`deploydocs(`
`11`		`- repo = "https://github.com/SciML/ADTypes.jl.git"`
	`11`	`+ repo = "github.com/SciML/ADTypes.jl.git"`
`12`	`12`	`)`