Strumenti
GitHub rilascia la pagina rinnovata delle pull request del repository
GitHub ha reso disponibile a tutti gli utenti la pagina rinnovata delle pull request del repository, con ricerca avanzata con operatori AND e OR e una barra laterale comprimibile per filtrare rapidamente. La nuova interfaccia supporta azioni di massa, come etichettare e chiudere più pull request contemporaneamente, una modalità di visualizzazione compatta e indicatori per i controlli di stato e gli aggiornamenti non letti. Gli utenti possono anche filtrare gli elenchi cliccando sugli stati di revisione e vedere direttamente milestone, issue collegate e badge dell'autore.
Tradotto con l'aiuto dell'IA.