summaryrefslogtreecommitdiff
path: root/aux/ci/git-pre-push.sh (unfollow)
Commit message (Collapse)AuthorFilesLines
2021-01-30Update aux/ci/ filesEuAndreh1-2/+2
2021-01-27mv build-aux/ -> aux/ and scripts/EuAndreh1-2/+2
2021-01-23Add default CI infrastructureEuAndreh1-0/+19