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], )