GitHub améliore ses labels, avec notamment les emojis
Le 22 février 2018 à 09h12
1 min
Logiciel
Logiciel
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.
Déjà abonné ? Se connecter
Abonnez-vousLe 22/02/2018 à 09h57
emojis. et merde.
Le 22/02/2018 à 10h21
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”.
Le 22/02/2018 à 11h09
Le 22/02/2018 à 15h39
Uniquement si tout le monde utilise le même standard, donc. Sinon, comme d’habitude
https://xkcd.com/927/