Ian Lynagh wrote:
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.
It happened once to me yesterday, out of several pushes, FWIW.
Cheers,
Simon
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
