path: root/Documentation/glossary.txt
diff options
authorRalf Wildenhues <>2007-10-09 21:01:05 (GMT)
committerShawn O. Pearce <>2007-10-16 02:11:02 (GMT)
commit2c619db8845e6259995ccb4f666e5bbc636c9e14 (patch)
tree1330da20beeb3212cca6bbc27bf3c1354a20a11d /Documentation/glossary.txt
parent06ada1529ce46e84aaef4e5608c1101c1c7ec73f (diff)
Fix wording in push definition.
Make the definition of push in the glossary readable. Signed-off-by: Lars Hjemli <> Signed-off-by: Shawn O. Pearce <>
Diffstat (limited to 'Documentation/glossary.txt')
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/glossary.txt b/Documentation/glossary.txt
index d99fa19..5645177 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
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