> 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 automate

> 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.