Avery Pennarun wrote (2008-07-09 12:02 -0400): > I don't know if this will help in your case, but if it will be only > you pushing to this repository, one option is to simply create a bare > push repository on your local machine, and then manually just > rsync+ssh it to the remote machine from the command line as > a so-called "push" operation. Again, I don't know if this is helpful for Michael, but this "manual" rsyncing can be done automatically via hooks/post-receive. Just like Avery said, "git push" to a bare repository in a local machine and this bare repo has post-receive hook which does "git update-server-info" and the rsyncing (or "sitecopy --update" or similar). -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
