aboutsummaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Expand)AuthorFilesLines
2020-11-18do_release.sh: fix for older git on gitlab CIjaseg1-1/+1
2020-11-18Fix missing dependencies and variable exportsjaseg2-7/+8
2020-11-18Fix do_release.shjaseg1-2/+1
2020-11-18Update release trigger CI variable namejaseg1-2/+2
2020-11-18Add auto-release infrastructurejaseg2-2/+92
2020-11-17Makefile: WIPjaseg1-0/+58