diff options
Diffstat (limited to 'Documentation/git-push.txt')
| -rw-r--r-- | Documentation/git-push.txt | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt index 52c0538df5..0412b4815c 100644 --- a/Documentation/git-push.txt +++ b/Documentation/git-push.txt @@ -112,7 +112,7 @@ nor in any Push line of the corresponding remotes file---see below). --repo=<repository>:: This option is only relevant if no <repository> argument is - passed in the invocation. In this case, 'git-push' derives the + passed in the invocation. In this case, 'git push' derives the remote name from the current branch: If it tracks a remote branch, then that remote repository is pushed to. Otherwise, the name "origin" is used. For this latter case, this option @@ -126,11 +126,11 @@ git push --repo=public #2 + is that #1 always pushes to "public" whereas #2 pushes to "public" only if the current branch does not track a remote branch. This is -useful if you write an alias or script around 'git-push'. +useful if you write an alias or script around 'git push'. --thin:: --no-thin:: - These options are passed to 'git-send-pack'. Thin + These options are passed to 'git send-pack'. Thin transfer spends extra cycles to minimize the number of objects to be sent and meant to be used on slower connection. |