Che cos'è github-pr-issue?
Visualizzare/aggiornare problemi e PR di GitHub (inclusi commenti e differenze) e creare o modificare PR in modo non interattivo secondo gli standard del team; utilizzato per operazioni che coinvolgono problemi/PR di GitHub. Fonte: dcjanus/prompts.