We want to build: - a core image - the binary, for different platforms - next, debs and the like (I know Gitlab CI and Gitlab is free software… what about their Github integration?)