Che cos'è pull-request?
Crea richieste pull GitHub con controlli di idoneità, titoli e descrizioni redatti automaticamente e gestione push remota. Da utilizzare quando: crea PR, richiesta pull, apri PR, invia PR, crea richiesta pull, PR per revisione, push e PR, richiesta pull, /richiesta pull. Fonte: caldiaworks/caldiaworks-marketplace.