Git problem

[Ian Lynagh]

On Wed, Sep 10, 2008 at 11:32:07AM +0200, Thomas Schilling wrote:
> I'm not sure.  It could be some permission thing as a result of how
> the script works that syncs with the Github repo.  Github uses ssh key
> authentication to identify the user, so we set up a keyfile that
> should be used by everyone with push access to darcs.h.o.  Apparently,
> Git creates some files with the user's permissions which leads to
> problems if the umask is too restrictive.  The push was successful
> nevertheless, which is a bit confusing.  Ian and I will look into
> this.

As far as I can tell from the error, git failed to create a file in
/home/darcs/git/ghc.git/refs/remotes/github/ on monk, but the
permissions look fine so I have no idea why that would happen.

It would be interesting to know if this happens again to anyone.

> > To git at github.com:ghc-hq/ghc.git
> >   fadb176..93e57e1  master -> master
> > fatal: unable to create '.git/refs/remotes/github/master.lock': Permission denied
> > Push successful.
> > (By the way, the remote repository has 15 patches to pull.)
> > bash-3.2$


Thanks
Ian