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