From 3fe1316e743635b8466f346f6fba52bccd29dae1 Mon Sep 17 00:00:00 2001
From: Joris Kraak <me@joriskraak.nl>
Date: Wed, 13 Mar 2024 11:19:59 +0100
Subject: [PATCH] ci(docs): remove unnecessary `repo` keyword argument to
 `deploydocs`

`Documenter` should be able to figure out the `origin` of the Git
repository from the checked out source. This keyword argument should not
be necessary.
---
 docs/make.jl | 1 -
 1 file changed, 1 deletion(-)

diff --git a/docs/make.jl b/docs/make.jl
index 97c0fe1..b783744 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -15,6 +15,5 @@ if running_in_ci
     devbranch = "development",
     devurl = "latest",
     push_preview = true,
-    repo = "github.com/bauglir/Kroki.jl.git",
   )
 end