Tools
GitHub rolls out refreshed repository pull requests page
GitHub has made its redesigned repository pull requests page generally available to all users, introducing advanced search capabilities with AND and OR operators alongside a collapsible sidebar for quick filtering. The updated interface supports bulk actions such as labeling and closing multiple pull requests simultaneously, a compact presentation mode, and indicators for status checks and unread updates. Users can also filter lists by clicking on review statuses and view milestones, linked issues, and author badges directly.