Petit bug de rien du tout sur Github : GitHub Merge Queue Silently Reverted Code (githubstatus.com).

Ce qui me semble le plus inquiétant, c'est pas que MS se soit planté (c'est triste, mais on commence à avoir l'habitude...), c'est que ça ait pu arriver sans que le problème soit détecté par Git côté client.