2020-11-10 11:17:06 +00:00
|
|
|
|
# git pr
|
|
|
|
|
|
2021-01-07 14:19:35 +00:00
|
|
|
|
> Récupére les pull-request GitHub localement.
|
2020-11-10 11:17:06 +00:00
|
|
|
|
|
2021-01-30 17:03:18 +00:00
|
|
|
|
- Récupére une pull-request spécifique :
|
2020-11-10 11:17:06 +00:00
|
|
|
|
|
|
|
|
|
`git pr {{pr_number}}`
|
|
|
|
|
|
2021-01-30 17:03:18 +00:00
|
|
|
|
- Récupére une pull-request d un dépot spécifique :
|
2020-11-10 11:17:06 +00:00
|
|
|
|
|
|
|
|
|
`git pr {{pr_number}} {{distant}}`
|
|
|
|
|
|
2021-01-30 17:03:18 +00:00
|
|
|
|
- Récupére une pull-request depuis sont url :
|
2020-11-10 11:17:06 +00:00
|
|
|
|
|
|
|
|
|
`git pr {{url}}`
|
|
|
|
|
|
2021-01-30 17:03:18 +00:00
|
|
|
|
- Nettoie les branches de pull-request terminés :
|
2020-11-10 11:17:06 +00:00
|
|
|
|
|
|
|
|
|
`git pr clean`
|