GitHub améliore ses labels, avec notamment les emojis
jeudi 22 février 2018 à 09:12GitHub propose un moment déjà les labels. Ils servent à étiqueter les problèmes et autres pull requests pour pouvoir les trier plus facilement ensuite. Depuis cette nuit, ils ont droit à quelques améli...