Comment by gaigalas

> The by far nastiest part is CI.

But that's the most important part. A repository without CI is basically dead.

The biggest challenge of this era is automated verification, and proper CI infrastructure is essential.

GitHub feels like what Hudson/Jenkins was some decades ago. Horrible, but the only one that did what it did.

I run probably hundreds of dollars of CI on GitHub per month. Except I don't pay a cent for it (all open source public repos). I can't just let that go, those workers do real work.