From 1ab2a7d4f41216ef0b47fd6ff7aadcb71e01ce2a Mon Sep 17 00:00:00 2001 From: Wataru Otsubo Date: Sat, 14 Sep 2024 02:33:34 +0900 Subject: [PATCH] fix: url in doc for source --- docs/make.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/make.jl b/docs/make.jl index c10cc7a..61d00ff 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -19,7 +19,7 @@ makedocs( edit_link = "main", assets = String[], ), - repo = Remotes.GitLab("https://gitlab.cern.ch", "wotsubo", "PSBoardDataBase"), + repo = Remotes.GitLab("gitlab.cern.ch", "wotsubo", "PSBoardDataBase"), pages = ["Home" => "index.md", "About this software" => "about_software.md"], plugins = [links], )