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://[EMAIL PROTECTED]/srv/git/gnulib ! [remote rejected] master -> master (failed to write) error: failed to push to 'ssh://[EMAIL PROTECTED]/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