aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEuAndreh <eu@euandre.org>2023-03-30 16:02:42 -0300
committerEuAndreh <eu@euandre.org>2023-03-30 16:02:42 -0300
commit8cdf792b5d14295b44c0e4bb7753722f09382560 (patch)
tree73a6e8993aa27558cad00b5cdc8b06d9185da853
parentreconfigure: Stop deleting CI directory again (diff)
downloadtoph-8cdf792b5d14295b44c0e4bb7753722f09382560.tar.gz
toph-8cdf792b5d14295b44c0e4bb7753722f09382560.tar.xz
git-post-receive.sh: Send CI report output to syslog over /dev/null
Notes
See CI logs with: git notes --ref=refs/notes/ci-logs show 8cdf792b5d14295b44c0e4bb7753722f09382560 git notes --ref=refs/notes/ci-data show 8cdf792b5d14295b44c0e4bb7753722f09382560 Exit status: 0 Duration: 19
-rwxr-xr-xsrc/infrastructure/ci/git-post-receive.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/infrastructure/ci/git-post-receive.sh b/src/infrastructure/ci/git-post-receive.sh
index 612a268..c21931e 100755
--- a/src/infrastructure/ci/git-post-receive.sh
+++ b/src/infrastructure/ci/git-post-receive.sh
@@ -146,7 +146,7 @@ mkdtemp() {
-a \
"$DIR"/ "$HTML_OUTDIR_CI"/
rm -rf "$DIR"
- } 1>/dev/null 2>&1 &
+ } 2>&1 | logger -p local0.warn -t git-ci &
}
trap finish EXIT