Tools
GitHub führt überarbeitete Pull-Request-Seite für Repositories ein
GitHub hat die neu gestaltete Pull-Request-Seite für Repositories allen Nutzern allgemein zugänglich gemacht. Sie bietet eine erweiterte Suche mit AND- und OR-Operatoren sowie eine einklappbare Seitenleiste zum schnellen Filtern. Die aktualisierte Oberfläche unterstützt Massenaktionen wie das gleichzeitige Labeln und Schließen mehrerer Pull Requests, einen kompakten Anzeigemodus und Anzeigen für Status-Checks und ungelesene Aktualisierungen. Nutzer können Listen außerdem per Klick auf Review-Status filtern und Meilensteine, verknüpfte Issues und Autorenabzeichen direkt einsehen.
Mit KI-Unterstützung übersetzt.