git-pr: add page (#2674)

2025-09-10 13:33:43 +02:00 · 2019-01-01 18:57:04 +00:00 · 2019-01-01 18:57:04 +00:00 · 50a1b06395
commit 50a1b06395
parent 07d6ef9abc
1 changed files with 19 additions and 0 deletions
--- a/pages/common/git-pr.md
+++ b/pages/common/git-pr.md
@ -0,0 +1,19 @@
+# git pr
+
+> Check out GitHub pull requests locally.
+
+- Check out a specific pull request:
+
+`git pr {{pr_number}}`
+
+- Check out a pull request for a specific remote:
+
+`git pr {{pr_number}} {{remote}}`
+
+- Check out a pull request from its URL:
+
+`git pr {{url}}`
+
+- Clean up old pull request branches:
+
+`git pr clean`