igloo at earth.li
Wed Sep 10 07:09:59 EDT 2008
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
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$
More information about the Cvs-ghc