CEO GitHub Thomas Dohmke Mundur, GitHub Resmi Bergabung dengan CoreAI Microsoft Oleh Ponselio - 12 Agustus 2025
