| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | cronjob.sh: Increase timeout to 2 hours | EuAndreh | 2023-03-15 | 1 | -1/+1 |
| * | cronjob.sh: Rename $ONE_HOUR to $TIMEOUT | EuAndreh | 2023-03-14 | 1 | -2/+2 |
| * | cronjob.sh: Fix space trimming on report output | EuAndreh | 2023-03-14 | 1 | -0/+1 |
| * | src/infrastructure/scripts/report.sh: Remove redundant margin CSS value | EuAndreh | 2023-03-13 | 1 | -1/+1 |
| * | {git-post-receive,cronjob}.sh: Improve portability•••- don't use GNU's date(1) "%s" proprietary option, and leverage AWK's default behaviour of `srand()` to get the seconds since UNIX epoch; - don't rely on GNU's sed(1) "-u" proprietary option of unbuffering, and do a manual `while` loop instead. | EuAndreh | 2023-03-13 | 1 | -4/+13 |
| * | Copy files back | EuAndreh | 2023-03-11 | 7 | -0/+943 |
