Che cos'è ai-summary-comment?
Pubblica o aggiorna commenti automatizzati sullo stato di avanzamento su GitHub PR. Da utilizzare dopo aver completato qualsiasi fase dell'agente PR (pre-volo, test, gate, correzione, report). Si attiva con "pubblica commento su PR", "aggiorna avanzamento PR", "commenta su PR con risultati", "pubblica commento pre-volo". Crea un singolo commento di revisione aggregato con sezioni comprimibili per commit. Fonte: dotnet/maui.