From 7a89f7c6e4d65d76e33ee48346a829d293fd3cd6 Mon Sep 17 00:00:00 2001 From: spacewander Date: Sat, 9 Feb 2019 16:58:31 +0800 Subject: [PATCH] git-pr: emphasized that the remote is required when pulling multiple PRs. --- man/git-pr.1 | 2 +- man/git-pr.html | 2 +- man/git-pr.md | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/man/git-pr.1 b/man/git-pr.1 index 1a5fba9..e55b5b6 100644 --- a/man/git-pr.1 +++ b/man/git-pr.1 @@ -99,7 +99,7 @@ Switched to branch \'pr/453\' .IP "" 0 . .P -You could even pull multiple pull requests via the GitHub URL or the ID with remote: +You could even pull multiple pull requests via the GitHub URL or the ID \fBwith remote specified\fR: . .IP "" 4 . diff --git a/man/git-pr.html b/man/git-pr.html index 38fde1e..1770c6d 100644 --- a/man/git-pr.html +++ b/man/git-pr.html @@ -131,7 +131,7 @@ From https://github.com/tj/git-extras Switched to branch 'pr/453' -

You could even pull multiple pull requests via the GitHub URL or the ID with remote:

+

You could even pull multiple pull requests via the GitHub URL or the ID with remote specified:

$ git pr upstream:226 upstream:443
 $ git pr upstream:443 https://github.com/tj/git-extras/pull/453
diff --git a/man/git-pr.md b/man/git-pr.md
index 00adf87..aa66a9f 100644
--- a/man/git-pr.md
+++ b/man/git-pr.md
@@ -54,7 +54,7 @@ You can also checkout a pull request based on a GitHub URL:
      * [new ref]         refs/pull/453/head -> pr/453
     Switched to branch 'pr/453'
 
-You could even pull multiple pull requests via the GitHub URL or the ID with remote:
+You could even pull multiple pull requests via the GitHub URL or the ID **with remote specified**:
 
     $ git pr upstream:226 upstream:443
     $ git pr upstream:443 https://github.com/tj/git-extras/pull/453