aboutsummaryrefslogtreecommitdiff
path: root/src/infrastructure/ci (follow)
Commit message (Expand)AuthorAgeFilesLines
* git-post-receive.sh: Derive $LOGS_DIR from repository directory nameEuAndreh2023-03-131-1/+1
* {git-post-receive,cronjob}.sh: Improve portabilityEuAndreh2023-03-131-2/+6
* Copy files backEuAndreh2023-03-112-0/+185