两个git server同步时，遇到如下问题：
当一个git server准备push 到另一个git server repository时，但还没执行push动作，如何去锁定目标git server rep, 不让其他developer push 到目标 git server rep?

目前，git 本身没有lock功能。可以利用git server权限管理工具实现独占，但这个过程的时间有点长（至少需要10多秒，这个时间的长短和权限管理仓库的大小，以及网络情况等有关）。