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