It would be good if we could move this repo to github, because @tischer is implementing some new functionality
that depends on the github API and duplicating it for the gitlab API would be a lot of work now.
We could move it to the mobie org.
cc @schorb @hennies