Robert Clausecker: > I have a server that hosts a bare git repository. This git repository > contains a branch production. Whenever somebody pushes to production a > hook automatically puts a copy of the current production branch > into /var/www/foo. I could of course use pull for that but it just does > not feels right. Why should I have a repository twice on the server? Hallo Robert, I've mostly the same requirement for a friend with a PHP webshop and started to implement my own git_export with the additional feature that it tries to reuse already exported trees as hardlink targets instead of writing the same file again. (I'm aware of the dangers of hardlinks.) https://github.com/thkoch2001/git_export_hardlinks See also the current mailing list thread: "[Request] Git export with hardlinks". Beste Grüße, Thomas Koch, http://www.koch.ro -- 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