On Thu, Sep 11, 2008 at 07:26:09PM -0700, Tim Chevalier wrote:
>
> error: Unable to append to .git/logs/refs/remotes/github/master:
> Permission denied
Thanks; I've just fixed this one too.
Thanks
Ian
___
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http
On Wed, Sep 10, 2008 at 4:09 AM, Ian Lynagh <[EMAIL PROTECTED]> wrote:
> 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 t
On Wed, Sep 10, 2008 at 1:17 PM, Ian Lynagh <[EMAIL PROTECTED]> wrote:
> I'm a little worried by the success...
The trickier part is the sync-script, but I use a lock for that and it
will fail (and did so before) if it cannot obtain this lock. Due to
Git's SHA-1 checksums, I'm fairly certain that
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 b
it happened once more today already. but many other pushes did not elicit that
msg
| -Original Message-
| From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Ian Lynagh
| Sent: 10 September 2008 12:10
| To: cvs-ghc@haskell.org
| Subject: Re: Git problem
|
| On Wed, Sep 10
On Wed, Sep 10, 2008 at 12:09:59PM +0100, 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 id
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 eve
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 w
