aboutsummaryrefslogtreecommitdiff
path: root/src/infrastructure/ci (unfollow)
Commit message (Expand)AuthorFilesLines
2023-03-13git-post-receive.sh: Derive $LOGS_DIR from repository directory nameEuAndreh1-1/+1
2023-03-13{git-post-receive,cronjob}.sh: Improve portabilityEuAndreh1-2/+6
2023-03-11Copy files backEuAndreh2-0/+185