Deleted Jenkinsfile due to not working pipeline :-( We have toinvestigate, how we can setup a working build process for more than onebranch. should work, but not today...
![[Jenkins]](/ci/static/d70d5ff4/images/svgs/logo.svg){kind=logo}
