aboutsummaryrefslogtreecommitdiff
path: root/build-aux/ci/git-pre-push.sh (follow)
Commit message (Expand)AuthorAgeFilesLines
* Add default CI infrastructureEuAndreh2021-01-231-0/+19