Publié dans Logiciel

4

GitHub améliore ses labels, avec notamment les emojis

GitHub améliore ses labels, avec notamment les emojis

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.

4

Tiens, en parlant de ça :

La Section 702 de la loi sur la surveillance du renseignement étranger (Foreign Intelligence Surveillance Act – FISA)

Aux USA, la surveillance des communications d’étrangers sans mandat (FISA) fait débat

Aller FISSA au Sénat

15:40 DroitSécu 1
logo apple en devanture de boutique

Apple autorise puis supprime un émulateur Game Boy sur iOS

Quel est ce phoque ?

14:09 Soft 12
Logo d'Android 14

Android 15 bêta : Wallet par défaut, sécurité des réseaux mobiles et Wi-Fi, bugs sur le NFC

Ce n’est PAS une révolution

11:15 Soft 5
4

Fermer

Commentaires (4)


emojis. et merde.



 


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”.

 








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 !



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



https://xkcd.com/927/