我有一个开发服务器＆＃39; dev＆＃39;，我的官方git repo。
我有一个生产服务器＆＃39; prod＆＃39;。
生产：
git clone user@dev:/path-to-my-repo
git config receive.denyCurrentBranch ignore
最后一行的目的是为了让我在使用＆＃39; dev＆＃39;进行git push时，生产代码会立即更新到我刚推出的任何内容＆＃39; dev＆＃ 39;
但是，当我在开发服务器上执行git push时，它并没有这样做！它会给出一些关于比原点/主人领先一步的注意事项。当然，我的产品代码永远不会被手触摸（如果有任何意外触摸的东西 - 我希望从dev的推动覆盖它）。我需要对我的产品代表做些什么额外的工作才能使它完全从属于从dev中推送...即，将其工作副本立即更新为刚推送的内容？
提前致谢！