2020-11-10 11:17:06 +00:00
|
|
|
# git pr
|
|
|
|
|
|
2021-05-01 17:49:31 +01:00
|
|
|
> Récupère les pull-requests GitHub localement.
|
2021-10-07 08:37:39 +01:00
|
|
|
> Plus d'informations : <https://github.com/tj/git-extras/blob/master/Commands.md#git-pr>.
|
2020-11-10 11:17:06 +00:00
|
|
|
|
2021-10-07 08:37:39 +01:00
|
|
|
- Récupère une pull-request spécifique :
|
2020-11-10 11:17:06 +00:00
|
|
|
|
|
|
|
|
`git pr {{pr_number}}`
|
|
|
|
|
|
2021-10-07 08:37:39 +01:00
|
|
|
- Récupère une pull-request d'un dépôt spécifique :
|
2020-11-10 11:17:06 +00:00
|
|
|
|
|
|
|
|
`git pr {{pr_number}} {{distant}}`
|
|
|
|
|
|
2021-10-07 08:37:39 +01:00
|
|
|
- Récupère une pull-request depuis son URL :
|
2020-11-10 11:17:06 +00:00
|
|
|
|
|
|
|
|
`git pr {{url}}`
|
|
|
|
|
|
2021-10-07 08:37:39 +01:00
|
|
|
- Nettoie les branches de pull-requests terminées :
|
2020-11-10 11:17:06 +00:00
|
|
|
|
|
|
|
|
`git pr clean`
|
