diff options
| -rw-r--r-- | doc/tips/laptop_wiki_with_git/discussion.mdwn | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/tips/laptop_wiki_with_git/discussion.mdwn b/doc/tips/laptop_wiki_with_git/discussion.mdwn index dd484f0ac..7881bb4b6 100644 --- a/doc/tips/laptop_wiki_with_git/discussion.mdwn +++ b/doc/tips/laptop_wiki_with_git/discussion.mdwn @@ -1,4 +1,5 @@ I have followed this idea along, and it seems to work pretty well. Now I have a question as a git newbie. Can I have the post-commit hook on the server use something like rsync to update the files on a third machine hosting the web server? The web server does not have git (cretins!). Of course I could just run a cron job. - + +Or, was this last remark about rebuilding after pulling meant to apply to rebuilding after pushing as well? - David Bremner |