diff options
| author | Ralf Wildenhues <Ralf.Wildenhues@gmx.de> | 2007-10-10 01:01:05 +0400 |
|---|---|---|
| committer | Shawn O. Pearce <spearce@spearce.org> | 2007-10-16 06:11:02 +0400 |
| commit | 2c619db8845e6259995ccb4f666e5bbc636c9e14 (patch) | |
| tree | 1330da20beeb3212cca6bbc27bf3c1354a20a11d /Documentation | |
| parent | 06ada1529ce46e84aaef4e5608c1101c1c7ec73f (diff) | |
Fix wording in push definition.
Make the definition of push in the glossary readable.
Signed-off-by: Lars Hjemli <hjemli@gmail.com>
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/glossary.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/glossary.txt b/Documentation/glossary.txt index d99fa199d6..56451775e7 100644 --- a/Documentation/glossary.txt +++ b/Documentation/glossary.txt @@ -301,8 +301,8 @@ This commit is referred to as a "merge commit", or sometimes just a [[def_push]]push:: Pushing a <<def_branch,branch>> means to get the branch's <<def_head_ref,head ref>> from a remote <<def_repository,repository>>, - find out if it is an ancestor to the branch's local - head ref is a direct, and in that case, putting all + find out if it is a direct ancestor to the branch's local + head ref, and in that case, putting all objects, which are <<def_reachable,reachable>> from the local head ref, and which are missing from the remote repository, into the remote |