Modificare o cambiare il titolo di una richiesta di pull esistente tramite github.com

Introduzione¶

Questa guida illustra come modificare o cambiare il titolo di una richiesta di pull (PR) esistente in un repository GitHub utilizzando l'interfaccia web di GitHub.

Descrizione del problema¶

A volte può essere necessario modificare il titolo di un PR dopo la sua creazione per riflettere meglio i cambiamenti o le discussioni in corso.

Prerequisiti¶

Una richiesta di pull su GitHub preesistente.
Accesso all'interfaccia web di GitHub o alla CLI con le autorizzazioni necessarie.

Procedura¶

Utilizzare l'interfaccia web di GitHub¶

Andare alla richiesta di pull:
Andare al repository dove si trova il PR.
Cliccare su "Pull requests" e selezionare il PR che si desidera modificare.
Modificare il titolo del PR:
Cliccare sul titolo del PR.
Apparirà una casella di testo modificabile.
Modificare il titolo, premere Enter o cliccare al di fuori della casella di testo per salvare le modifiche.

Informazioni aggiuntive (facoltative)¶

La modifica del titolo di un PR non influisce sul thread di discussione o sulle modifiche al codice.
È considerata una buona pratica informare i collaboratori se vengono apportate modifiche significative al titolo di un PR.

Conclusione¶

Seguendo questi passaggi, è possibile modificare facilmente il titolo di una richiesta di pull esistente in un repository GitHub attraverso l'interfaccia web.

Author: Wale Soyinka

Contributors: Ganna Zhyrnova