diff options
| author | Junio C Hamano <gitster@pobox.com> | 2021-12-10 14:53:38 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2021-12-10 14:53:38 -0800 |
| commit | 59a32b07d3e226cad19135aee37bf81c8849efc8 (patch) | |
| tree | 36b60b52ab5a116eed5ea4723dfa5559da7981a2 /git-request-pull.txt | |
| parent | f24d6b5b23d901f1da0026ce4b3f9c1e1b5e09f6 (diff) | |
| download | git-htmldocs-59a32b07d3e226cad19135aee37bf81c8849efc8.tar.gz | |
Autogenerated HTML docs for v2.34.1-182-ge7735
Diffstat (limited to 'git-request-pull.txt')
| -rw-r--r-- | git-request-pull.txt | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/git-request-pull.txt b/git-request-pull.txt index 4d4392d0f..fa5a42670 100644 --- a/git-request-pull.txt +++ b/git-request-pull.txt @@ -8,7 +8,7 @@ git-request-pull - Generates a summary of pending changes SYNOPSIS -------- [verse] -'git request-pull' [-p] <start> <url> [<end>] +'git request-pull' [-p] <start> <URL> [<end>] DESCRIPTION ----------- @@ -21,7 +21,7 @@ the changes and indicates from where they can be pulled. The upstream project is expected to have the commit named by `<start>` and the output asks it to integrate the changes you made since that commit, up to the commit named by `<end>`, by visiting -the repository named by `<url>`. +the repository named by `<URL>`. OPTIONS @@ -33,14 +33,14 @@ OPTIONS Commit to start at. This names a commit that is already in the upstream history. -<url>:: +<URL>:: The repository URL to be pulled from. <end>:: Commit to end at (defaults to HEAD). This names the commit at the tip of the history you are asking to be pulled. + -When the repository named by `<url>` has the commit at a tip of a +When the repository named by `<URL>` has the commit at a tip of a ref that is different from the ref you have locally, you can use the `<local>:<remote>` syntax, to have its local name, a colon `:`, and its remote name. |