diff options
author | EuAndreh <eu@euandre.org> | 2023-03-15 18:45:32 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2023-03-15 19:03:47 -0300 |
commit | c4549e002be6b8ebddcb38f981131ec6e1a3862c (patch) | |
tree | 441a72c53274d46928597b8b274439b4a42e460c /TODOs.md | |
parent | check.sh: Add from root@$HOSTNAME to Subject (diff) | |
download | toph-c4549e002be6b8ebddcb38f981131ec6e1a3862c.tar.gz toph-c4549e002be6b8ebddcb38f981131ec6e1a3862c.tar.xz |
system.scm: add "SetEnv" to sshd
Explicitly set `GIT_CONFIG_GLOBAL=/etc/gitconfig` so that one can push
with options (e.g. `git push -o ci.skip`) without having to authorize
Git repositories individually, as `/etc/gitconfig` already contains
that.
Notes
See CI logs with:
git notes --ref=refs/notes/ci-logs show c4549e002be6b8ebddcb38f981131ec6e1a3862c
git notes --ref=refs/notes/ci-data show c4549e002be6b8ebddcb38f981131ec6e1a3862c
Exit status: 0
Duration: 17
Diffstat (limited to 'TODOs.md')
0 files changed, 0 insertions, 0 deletions