grm

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

commit b8bf3a241a38117804cc92b8e4f28e8f1e809776
parent ea5dce02a0981efe37136c9cc0bfc6cc61b07301
Author: krasjet <nil@krj.st>
Date:   Tue, 14 Jul 2020 04:24:11 -0700

fix styling

Diffstat:
Mgrm | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/grm b/grm @@ -60,7 +60,7 @@ rebuild_index() { find "${repos_root}/." ! -name . -prune \ -type d -name "*.git" \ -exec test -e "{}/git-daemon-export-ok" \;\ - -exec test ! -e "{}/stagit-no-index" \;\ + -exec test ! -e "{}/stagit-no-index" \; \ -print | \ sort -f | xargs stagit-index > "${web_root}/index.html" && \ echo "[index] done!"