My fault. I try to find out what happened.
On 12 Aug 2008, at 05:17, Roman Leshchinskiy wrote:
This is what I get:
Finished applying...
error: Unable to append to /srv/darcs/git/ghc/.git/logs/refs/heads/
master: Permission denied
fatal: cannot update HEAD ref
/srv/darcs/bin/darcs-to-git:86
This is what I get:
Finished applying...
error: Unable to append to /srv/darcs/git/ghc/.git/logs/refs/heads/
master: Permission denied
fatal: cannot update HEAD ref
/srv/darcs/bin/darcs-to-git:86:in `run': Failed to run: ["git-commit",
"-a", "-m", "The dph packages still contain warnings"] (R
