From 6ab7ed1bc8bec1c612097e33e80590ebb37a93c6 Mon Sep 17 00:00:00 2001
From: Patrick Spek
Date: Mon, 3 Apr 2023 10:19:47 +0200
Subject: Add .git suffix to git repos
---
playbooks.d/git-server/playbook.bash | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/playbooks.d/git-server/playbook.bash b/playbooks.d/git-server/playbook.bash
index f1b8287..74eda61 100644
--- a/playbooks.d/git-server/playbook.bash
+++ b/playbooks.d/git-server/playbook.bash
@@ -32,7 +32,7 @@ playbook_sync() {
while read -r repo
do
local name="$(config "git.repos.$repo.name" "$repo")"
- local path="$(config "git.repodir")/$(config "git.repos.$repo.path" "$name")"
+ local path="$(config "git.repodir")/$(config "git.repos.$repo.path" "$name").git"
info "$BASHTARD_PLAYBOOK" "Ensuring $name exists ($repo)"
--
cgit v1.1