Git error

[Ian Lynagh]

On Tue, Mar 03, 2009 at 05:10:36PM +0000, Simon Peyton-Jones wrote:
> 
> Syncing Git repo.
> Finished applying...
> Waiting for fcntl lock... 1
> Counting objects: 11, done.
> Compressing objects: 100% (6/6), done.
> Writing objects: 100% (6/6), 2.32 KiB, done.
> Total 6 (delta 5), reused 0 (delta 0)
> To git at github.com:ghc-hq/ghc.git
>    a52b716..cced396  master -> master
> error: Unable to append to .git/logs/refs/remotes/github/master: Permission denied
> error: Cannot update the ref 'refs/remotes/github/master'.
> Push successful.

Thomas and I had a look. We're not sure why it broke, but we've fixed it
now.


Thanks
Ian