Vai al contenuto

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

  1. Andare alla richiesta di pull:
  2. Andare al repository dove si trova il PR.
  3. Cliccare su "Pull requests" e selezionare il PR che si desidera modificare.

  4. Modificare il titolo del PR:

  5. Cliccare sul titolo del PR.
  6. Apparirà una casella di testo modificabile.
  7. 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