Google a discrètement arrêté de pousser les tags Git sur certains dépôts du code source Android. L’équipe de GrapheneOS a…