git push with error message

I have gitolite on server with next config

@developers = john bill 

repo    gitolite-admin
        RW+     =   admin

repo    main-project
        RW+CD      =   admin
        R master$       =  @developers
        RW+ develop$    =  @developers

and all @developers can see next error message, when they do 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

how could I solve it ?

  • When Installing gitolite I get “/tmp/id_rsa.pub does not seem to be a valid ssh pubkey file”
  • Error setting up Gitolite: Doesn't accept SSH key
  • Hook Installed False
  • Gitolite with LDAP not working
  • Issue with Tuleap GIt plugin
  • Gitolite gitignore template
  • How to configure gitolite for a single domain on Plesk
  • Git / Gitolite Some folders empty, permissions issue?
  • One Solution collect form web for “git push with error message”

    Note that this thread mentions the possibility for that “Unable to append to ./logs/HEAD” error message to come from the shared nature of the remote repo.
    Shared meaning being accessed by different user ids, not just by different people using the same git-account.

    In that case:

    • setting core.sharedRepository to true in the git local config of that repo (the bare repo on the gitolite server) will help,
    • as well as fixing-up permissions manually at least on logs/HEAD: the thread mentions “all files & dirs under ${repo}.git should be owned by the group and +rw for the group”, but that might not be a good example.
      See a more complete example at “Redmine + Gitolite – Issue with repository permissions and more”.
    Git Baby is a git and github fan, let's start git clone.