Connexion
Abonnez-vous

GitHub améliore ses labels, avec notamment les emojis

GitHub améliore ses labels, avec notamment les emojis

Le 22 février 2018 à 09h12

GitHub 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éliorations bienvenues.

Ils prennent par exemple en compte les emojis, pour compléter les noms de symboles visuels qui peuvent accélérer une recherche. Surtout, les développeurs peuvent les accompagner de descriptions, des textes qui s’afficheront au survol de la souris pour donner un peu de contexte. Les développeurs concernés pourront donc être mieux informés.

GitHub ajoute deux autres bonus. D’une part, une recherche dans la page des labels pour retrouver plus vite des étiquettes en particulier. Les trier dans la base latérale trie également par description. D’autre part, une prévisualisation est disponible avant la création d’un label, permettant d’en vérifier la couleur, l’orthographe, l’éventuel emoji et ainsi de suite.

Ces fonctions sont disponibles dans GitHub, mais devront attendre encore un peu avant de se retrouver dans les API.

Le 22 février 2018 à 09h12

Commentaires (4)

Vous devez être abonné pour pouvoir commenter.

Abonnez-vous
votre avatar

emojis. et merde.



 

votre avatar

Pareil. Je ne vois pas en quoi un emoji permet d’accélérer une recherche, à moins qu’il y ait une nouvelle extension dans les expressions régulières permettant de sélectionner les textes contenant un emoji “pas content”.

 

votre avatar







33A20158-2813-4F0D-9D4A-FD05E2C42E48 a écrit :



Pareil. Je ne vois pas en quoi un emoji permet d’accélérer une recherche





En utilisant cette technique de commit par exemple !


votre avatar

Uniquement si tout le monde utilise le même standard, donc. Sinon, comme d’habitude



https://xkcd.com/927/



 

GitHub améliore ses labels, avec notamment les emojis

Fermer