summaryrefslogtreecommitdiff
path: root/aux/ci/git-pre-push.sh (unfollow)
Commit message (Expand)AuthorFilesLines
2021-06-07Remove CI files under aux/: remove website from CIEuAndreh1-21/+0
2021-06-07Update files under aux/EuAndreh1-6/+8
2021-03-01Update files under aux/EuAndreh1-1/+1
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