grm

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

commit c4b4fe42dd287560afa171416d540dc286d0739b
parent 6724dee3fb62a2cb32df63da03dc04db40f4c173
Author: krasjet <nil@krj.st>
Date:   Mon, 13 Jul 2020 00:27:34 -0700

consistent comma

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

diff --git a/grm b/grm @@ -28,7 +28,7 @@ export LC_CTYPE="en_US.UTF-8" prog_name=$(basename "$0") -repos_root=${GRM_REPOS_ROOT:-"/home/git"} +repos_root=${GRM_REPOS_ROOT:-/home/git} web_root=${STAGIT_WEB_ROOT:-/srv/git} recompile_repo() {