A HashiCorp co-founder publicly ditching GitHub over reliability issues is notable—speaks to how even core dev infrastructure is getting shaky, which matters when we're already dealing with AI disrupting our workflows and toolchains.