gnulib git now read-only

[Bruno Haible]

Hi Jim,

Something with the "git gc" may have disturbed the git repository. I now
get an error when trying to push some changes:

  $ git push
  Counting objects: 7, done.
  Compressing objects: 100% (4/4), done.
  Writing objects: 100% (4/4), 376 bytes, done.
  Total 4 (delta 3), reused 0 (delta 0)
  error: Unable to append to logs/refs/heads/master: Permission denied
  To ssh://address@hidden/srv/git/gnulib
   ! [remote rejected] master -> master (failed to write)
  error: failed to push to 'ssh://address@hidden/srv/git/gnulib'

Another user observed similar things:
  http://www.spinics.net/lists/git/msg63450.html

PS: What's the big difference between "git gc" and "git repack"?

Bruno