| commit | 79c1df90ddd78107344406d3276f3a0115cb1eef | [log] [tgz] |
|---|---|---|
| author | Antonio Barone <syntonyze@gmail.com> | Wed Dec 21 18:44:23 2022 +0100 |
| committer | Antonio Barone <syntonyze@gmail.com> | Wed Dec 21 18:11:33 2022 +0000 |
| tree | d1c8ed58bc2ec793d10a2f64bed0a9cf1802d758 | |
| parent | 3102f091938e70ea82fe01e0b84989b8409b7ede [diff] |
Add $GC_PROJECT_LIST to environment header Change-Id: I9de3623d7b4dfab5ab6e74b8e4ecd51f8f322db8
diff --git a/maintenance/git-gc/scripts/utils.sh b/maintenance/git-gc/scripts/utils.sh index b2677da..51f1abc 100755 --- a/maintenance/git-gc/scripts/utils.sh +++ b/maintenance/git-gc/scripts/utils.sh
@@ -166,6 +166,7 @@ function log_env() { log "######## ENVIRONMENT ########" + log "# GC_PROJECT_LIST=${GC_PROJECT_LIST}" log "# JGIT=${JGIT}" log "# GIT=${GIT}" log "# GIT_HOME=${GIT_HOME}"