diff --git a/pages/common/git-pr.md b/pages/common/git-pr.md new file mode 100644 index 000000000..320050394 --- /dev/null +++ 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`