aboutsummaryrefslogtreecommitdiff
path: root/aux/ci/git-pre-receive.sh (follow)
Commit message (Expand)AuthorAgeFilesLines
* Revamp CI: simpler variant of the same functionalityEuAndreh2023-04-011-0/+14