path: root/Documentation
diff options
authorJ. Bruce Fields <>2006-02-06 00:42:27 (GMT)
committerJunio C Hamano <>2006-02-07 05:14:57 (GMT)
commitcc55aaec38ddebd2e6f69fc3895cec393a61956e (patch)
tree67ad71f8323db0010977c52d87b2d8950e87bd9e /Documentation
parent85a97d4e10c1ac4b87e856e2efe7bcd53d6868c3 (diff)
Docs: minor git-push copyediting
Minor git-push copyediting Signed-off-by: J. Bruce Fields <> Signed-off-by: Junio C Hamano <>
Diffstat (limited to 'Documentation')
1 files changed, 3 insertions, 3 deletions
diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt
index ce909f5..5b89110 100644
--- a/Documentation/git-push.txt
+++ b/Documentation/git-push.txt
@@ -16,7 +16,7 @@ DESCRIPTION
Updates remote refs using local refs, while sending objects
necessary to complete the given refs.
-You can make "interesting" things to happen on the repository
+You can make interesting things happen to a repository
every time you push into it, by setting up 'hooks' there. See
documentation for gitlink:git-receive-pack[1].
@@ -51,8 +51,8 @@ Some short-cut notations are also supported.
in the source.
- Instead of naming each ref to push, specifies all refs
- to be pushed.
+ Instead of naming each ref to push, specifies that all
+ refs be pushed.
All refs under `$GIT_DIR/refs/tags` are pushed, in