我在服务器上有 gitolite 和下一个配置
@developers = john bill
repo gitolite-admin
RW+ = admin
repo main-project
RW+CD = admin
R master$ = @developers
RW+ develop$ = @developers
并且所有人都@developers
可以看到下一条错误消息,当他们这样做时git push
$ git push origin develop
Counting objects: 117, done.
Delta compression using up to 8 threads.
Compressing objects: 100% (88/88), done.
Writing objects: 100% (93/93), 400.94 KiB
Total 93 (delta 17), reused 0 (delta 0)
error: Unable to append to ./logs/HEAD: P
To ssh://gitolite@server/project
ed683c3..b27b683 develop -> develop
我该如何解决?