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.
|
2020-11-10 11:17:06 +00:00
|
|
|
|
|
2021-05-01 17:49:31 +01:00
|
|
|
|
- Récupère une pull-request spécifique :
|
2020-11-10 11:17:06 +00:00
|
|
|
|
|
|
|
|
|
`git pr {{pr_number}}`
|
|
|
|
|
|
2021-05-01 17:49:31 +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-06-23 01:34:03 +01:00
|
|
|
|
- Récupère une pull-request depuis son URL :
|
2020-11-10 11:17:06 +00:00
|
|
|
|
|
|
|
|
|
`git pr {{url}}`
|
|
|
|
|
|
2021-05-01 17:49:31 +01:00
|
|
|
|
- Nettoie les branches de pull-requests terminées :
|
2020-11-10 11:17:06 +00:00
|
|
|
|
|
|
|
|
|
`git pr clean`
|