diff options
| -rw-r--r-- | Documentation/git-push.txt | 5 | ||||
| -rw-r--r-- | Documentation/git-receive-pack.txt | 4 |
2 files changed, 9 insertions, 0 deletions
diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt index f45ac5ee49..2254bac16e 100644 --- a/Documentation/git-push.txt +++ b/Documentation/git-push.txt @@ -16,6 +16,10 @@ 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 +every time you push into it, by setting up 'hooks' there. See +documentation for gitlink:git-receive-pack[1]. + OPTIONS ------- @@ -31,6 +35,7 @@ include::pull-fetch-param.txt[] This flag disables the check. What this means is that the local repository can lose commits; use it with care. + Author ------ Written by Junio C Hamano <junkio@cox.net> diff --git a/Documentation/git-receive-pack.txt b/Documentation/git-receive-pack.txt index 8afde14373..60debca487 100644 --- a/Documentation/git-receive-pack.txt +++ b/Documentation/git-receive-pack.txt @@ -71,6 +71,10 @@ packed and is served via a dumb transport. #!/bin/sh exec git-update-server-info +There are other real-world examples of using update and +post-update hooks found in the Documentation/howto directory. + + OPTIONS ------- <directory>:: |