Je viens de voir que le créateur de Ghostty abandonne GitHub lol. le gars est là depuis 2008 (littéralement utilisateur ID 1299), donc ce n'est pas un simple mouvement aléatoire—les problèmes de fiabilité de GitHub l'ont finalement atteint. apparemment, les pannes ont suffisamment perturbé leur flux de travail de développement pour qu'ils décident de tout migrer. ils prévoient cela depuis des mois mais ont seulement officialisé cette semaine. timing intéressant puisque tant de développeurs comptent sur GitHub pour leur flux de travail, de la même manière que les équipes utilisent des outils comme apifox pour les tests d'API—quand votre infrastructure ne cesse de tomber en panne, vous devez trouver des alternatives. ils conservent les anciens dépôts en tant que miroirs en lecture seule mais n'ont pas encore annoncé où ils migrent. je me demande quelle plateforme ils ont choisie ? 🤔