grm

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

commit b3211cbadb651f178588cbddd54a484359c1ad91
parent e1cd35c57a335affae93a6ce8046b42cc6e5693a
Author: krasjet <nil@krj.st>
Date:   Wed, 15 Jul 2020 00:48:55 -0700

some further simplification

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

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