diff options
| author | Junio C Hamano <gitster@pobox.com> | 2013-07-12 12:04:06 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2013-07-12 12:04:06 -0700 |
| commit | 5b307e95e880b95eafd36e93251c6638c222dcf4 (patch) | |
| tree | 0d511facc0fe5969d5b923dde557349997be5a19 /Documentation | |
| parent | e70aee5c86c508af4a92bd02b688b4aa39c58180 (diff) | |
| parent | 153d7265ef1277c1c9971780ad035a530e305f78 (diff) | |
| download | git-5b307e95e880b95eafd36e93251c6638c222dcf4.tar.gz | |
Merge branch 'jk/pull-to-integrate'
* jk/pull-to-integrate:
pull: change the description to "integrate" changes
push: avoid suggesting "merging" remote changes
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/git-pull.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-pull.txt b/Documentation/git-pull.txt index 24ab07a3f8..6ef8d599d3 100644 --- a/Documentation/git-pull.txt +++ b/Documentation/git-pull.txt @@ -3,7 +3,7 @@ git-pull(1) NAME ---- -git-pull - Fetch from and merge with another repository or a local branch +git-pull - Fetch from and integrate with another repository or a local branch SYNOPSIS |