git-pr: emphasized that the remote is required when pulling multiple PRs.

This commit is contained in:
spacewander 2019-02-09 16:58:31 +08:00
parent 99238bdf0a
commit 7a89f7c6e4
3 changed files with 3 additions and 3 deletions

View file

@ -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
.

View file

@ -131,7 +131,7 @@ From https://github.com/tj/git-extras
Switched to branch 'pr/453'
</code></pre>
<p>You could even pull multiple pull requests via the GitHub URL or the ID with remote:</p>
<p>You could even pull multiple pull requests via the GitHub URL or the ID <strong>with remote specified</strong>:</p>
<pre><code>$ git pr upstream:226 upstream:443
$ git pr upstream:443 https://github.com/tj/git-extras/pull/453

View file

@ -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