HashiCorp co-founder says GitHub 'no longer a place for serious work'