We are working on a Github mirror for the source code as soon as the Gitlab instance is back up.