github / github/app

/agent-merge triggers for unsubmitted reviews

Aperta
#3,069 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub
triage
Lingua principale
Nessun dato sulla lingua
Stelle
2.1k
Fork
153
Metriche di merge delle PR
Nessuna PR unita negli ultimi 30g

Descrizione

### Short summary

Agent-Merge triggers while reviewing pull-quests w/o the review being published

### Affected version or release

v1.1.11

### Installation context

agent-merge

### What happened?

When reviewing a PR on github.com w/ auto-merge active, the copilot starts addressing review comments even though they are still "pending" / not published.

Since the agent will push, this causes the PR diff to change and also means an agent will start prematurely and will work based on false assumptions and incomplete context.

### Steps to reproduce

1. Create a PR
2. Enable agent-merge w/ "address reviews" enabled
3. Start writing review comments on the Web and don't publish

On the next agent-merge run the agent will spin up and prematurely start working.

### Expected behavior

_No response_

### Additional context

- Only recently started to notice this, and it only seems to happen when I review my own PRs.

Guida per i contributori

Apri la guida per i contributori

Direzione di ricerca

Inizia tracciando il flusso di agent-merge per l’opzione «address reviews» e il modo in cui legge lo stato delle review delle pull request di GitHub. Riproduci il problema con commenti in sospeso non pubblicati; il lavoro è completato quando nessuna esecuzione dell’agente né alcun push viene avviato finché la review non viene pubblicata, mentre le review pubblicate continuano ad attivarsi normalmente.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Valutazione

Stack tecnologico
github
Ambito
devtools
Tipo di issue
Bug
Difficoltà
4/5
Tempo stimato
3-5 giorni
Stato di attività
Attiva
Chiarezza
Abbastanza chiara
Idoneità per principianti
48/100

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.