Documentation / git-request-pull.txton commit fetch: document that pruning happens before fetching (9e70233)
   1git-request-pull(1)
   2===================
   3
   4NAME
   5----
   6git-request-pull - Generates a summary of pending changes
   7
   8SYNOPSIS
   9--------
  10[verse]
  11'git request-pull' [-p] <start> <url> [<end>]
  12
  13DESCRIPTION
  14-----------
  15
  16Generate a request asking your upstream project to pull changes into
  17their tree.  The request, printed to the standard output, summarizes
  18the changes and indicates from where they can be pulled.
  19
  20The upstream project is expected to have the commit named by
  21`<start>` and the output asks it to integrate the changes you made
  22since that commit, up to the commit named by `<end>`, by visiting
  23the repository named by `<url>`.
  24
  25
  26OPTIONS
  27-------
  28-p::
  29        Include patch text in the output.
  30
  31<start>::
  32        Commit to start at.  This names a commit that is already in
  33        the upstream history.
  34
  35<url>::
  36        The repository URL to be pulled from.
  37
  38<end>::
  39        Commit to end at (defaults to HEAD).  This names the commit
  40        at the tip of the history you are asking to be pulled.
  41+
  42When the repository named by `<url>` has the commit at a tip of a
  43ref that is different from the ref you have locally, you can use the
  44`<local>:<remote>` syntax, to have its local name, a colon `:`, and
  45its remote name.
  46
  47
  48EXAMPLE
  49-------
  50
  51Imagine that you built your work on your `master` branch on top of
  52the `v1.0` release, and want it to be integrated to the project.
  53First you push that change to your public repository for others to
  54see:
  55
  56        git push https://git.ko.xz/project master
  57
  58Then, you run this command:
  59
  60        git request-pull v1.0 https://git.ko.xz/project master
  61
  62which will produce a request to the upstream, summarizing the
  63changes between the `v1.0` release and your `master`, to pull it
  64from your public repository.
  65
  66If you pushed your change to a branch whose name is different from
  67the one you have locally, e.g.
  68
  69        git push https://git.ko.xz/project master:for-linus
  70
  71then you can ask that to be pulled with
  72
  73        git request-pull v1.0 https://git.ko.xz/project master:for-linus
  74
  75
  76GIT
  77---
  78Part of the linkgit:git[1] suite