Was ist ai-summary-comment?
Veröffentlicht oder aktualisiert automatisierte Fortschrittskommentare zu GitHub-PRs. Verwendung nach Abschluss einer PR-Agent-Phase (Vorflug, Tests, Gate, Fix, Bericht). Löst „Kommentar an PR posten“, „PR-Fortschritt aktualisieren“, „PR mit Ergebnissen kommentieren“, „Kommentar vor dem Flug veröffentlichen“ aus. Erstellt einen einzelnen aggregierten Überprüfungskommentar mit reduzierbaren Abschnitten pro Commit. Quelle: dotnet/maui.