From cc55aaec38ddebd2e6f69fc3895cec393a61956e Mon Sep 17 00:00:00 2001 From: "J. Bruce Fields" Date: Sun, 5 Feb 2006 19:42:27 -0500 Subject: [PATCH] Docs: minor git-push copyediting Minor git-push copyediting Signed-off-by: J. Bruce Fields Signed-off-by: Junio C Hamano --- Documentation/git-push.txt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt index ce909f584..5b891105b 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. \--all:: - 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. \--tags:: All refs under `$GIT_DIR/refs/tags` are pushed, in -- 2.30.2