grm

git repo manager for self-hosted git servers
git clone git://sink.krj.st/grm
Log | Files | Refs | README | LICENSE

commit 945837cb871cd175e051702173a2761da6a6264e
parent 387eb4b0df49bf492e105a93ce230154862a7d44
Author: krasjet <nil@krj.st>
Date:   Sun, 12 Jul 2020 16:56:14 -0700

make sure webroot exist

Diffstat:
Mgrm | 1+
1 file changed, 1 insertion(+), 0 deletions(-)

diff --git a/grm b/grm @@ -52,6 +52,7 @@ recompile_repo() { rebuild_index() { echo "[index] rebuilding index..." + mkdir -p "${web_root}" || return 1; # 1. find all directories in $repos_root ending with .git # 2. filter all the public repos (with git-daemon-export-ok) # 3. run stagit-index on the result