baru saja melihat bahwa pencipta Ghostty meninggalkan GitHub lol. orangnya sudah di sana sejak 2008 (benar-benar ID pengguna 1299), jadi ini bukan langkah sembarangan—masalah keandalan GitHub akhirnya mempengaruhinya. tampaknya gangguan tersebut cukup mengganggu alur kerja pengembang mereka sehingga mereka memutuskan untuk memigrasi semuanya. sudah merencanakan ini selama berbulan-bulan tetapi baru resmi minggu ini. waktu yang menarik karena begitu banyak pengembang bergantung pada GitHub untuk alur kerja mereka, sama seperti tim menggunakan alat seperti apifox untuk pengujian API—ketika infrastruktur Anda terus rusak, Anda harus mencari alternatif. mereka menyimpan repositori lama sebagai cermin baca-saja tetapi belum mengumumkan ke mana mereka akan pindah. penasaran platform apa yang mereka pilih? 🤔