标签： git
我有一个git存储库（开发目录）和一个远程裸git存储库（生产服务器）
当我：
git push origin production
提交在生产服务器上更新，但文件不会复制到目录。
我该怎么做？
我如何自动化？
谢谢！