Ferramentas
GitHub lança página de pull requests do repositório redesenhada
O GitHub tornou a página de pull requests do repositório redesenhada disponível para todos os usuários, com busca avançada com operadores AND e OR e uma barra lateral recolhível para filtragem rápida. A nova interface permite ações em massa, como rotular e fechar vários pull requests ao mesmo tempo, além de um modo de exibição compacto e indicadores de verificações de status e de atualizações não lidas. Os usuários também podem filtrar as listas clicando nos status de revisão e ver diretamente marcos, issues vinculadas e selos de autor.
Traduzido com ajuda de IA.