Esaminare le pull request
Leggi richieste di pull su GitHub, esamina i diff, pubblica commenti, modifica i dettagli e effettua il merge da Dream.
Il tab Git → Pull request apre la richiesta di pull di GitHub per la branca corrente. Installa e autentica prima il CLI di GitHub per il repository. Per pubblicare una nuova richiesta di pull, segui Flussi di lavoro Git.
Apri la richiesta di merge della ramifica corrente#
- Seleziona il progetto e verifica la sua branca attuale.
- Apri Git nella barra degli strumenti a destra e seleziona Pull request.
- Revisti il titolo, lo stato, i rami di origine e di base e i controlli della richiesta di merge.
- Usa Riepilogo per la descrizione e la discussione, o Codice per i file modificati.
Il riassunto delle verifiche mostra il numero di verifiche fallite. Selezionare una verifica per aprire i suoi dettagli quando è disponibile un link.
Se il ramo non ha nessun richiesta di pull, il pannello offre Crea richiesta pull. Usa Azioni della pull request → Aggiorna dopo le modifiche apportate su GitHub, o Apri su GitHub per visualizzare la richiesta di pull nel browser. Una richiesta di pull fusionata smette di apparire una volta che il ramo contenga commit più recenti rispetto alla testa della richiesta di pull.
Revisione del codice e pubblicazione dei commenti#
Nel Riepilogo, leggi il discorso e usa Scrivi e Anteprima per comporre un commento in Markdown. Seleziona Pubblica commento per pubblicarlo su GitHub.
In Codice, espandi un file e seleziona le righe nel suo diff per pubblicare un Pubblica commento sulla riga. Puoi leggere i thread di revisione esistenti e utilizzare Rispondi per continuarli. Quando un patch testuale non è disponibile, apri la richiesta di merge su GitHub per esaminare quel file.
Questi commenti vengono pubblicati su GitHub. Per chiedere al tuo agente di programmazione informazioni sulle modifiche locali, usa diff feedback in Changes.
Modifica il titolo e la descrizione#
Quando il tuo account ha i permessi, usa Modifica titolo o Modifica descrizione. Salva il titolo dopo averlo modificato; per la descrizione, usa Scrivi e Anteprima, poi Salva. È anche possibile modificare i tuoi commenti personali dove è disponibile un controllo di modifica.
Unire una richiesta di pull#
- Revisiona il codice, il discorso e le verifiche.
- Fai clic su Unisci nel header del panello.
- Conferma le rampe di origine e base in Unisci PR.
- Scegli un metodo disponibile: Crea un commit di merge, Comprimi i commit e unisci, o Esegui rebase e unisci.
- Invia il merge.
Solo i PR aperti e non in versione bozza possono essere uniti. Marca la versione bozza pronta su GitHub prima. Il tuo account ha bisogno di permessi di unione, e il repository determina quali metodi di unione sono disponibili. GitHub può rifiutare un'operazione di unione quando i requisiti del repository non sono soddisfatti.
Dream verifica che la commit di testa del pull request sia ancora visibile quando sono stati caricati i dettagli del merge. Se è cambiato su GitHub, aggiornalo e riprova dopo averly revisionati i nuovi cambiamenti.