[moritzplassnig]

I think that's a good point. There's quite some fragmentation in the cloud CI/CD space (if we look beyond Jenkins). If necessary, GitHub could still acquire down the road. The downside risk is small.