git push failure

Simon Marlow marlowsd at
Fri Jul 19 11:22:05 CEST 2013

I got this from a git push today:

$ git push
Counting objects: 17, done.
Delta compression using up to 8 threads.
Compressing objects: 100% (10/10), done.
Writing objects: 100% (11/11), 1.20 KiB, done.
Total 11 (delta 6), reused 0 (delta 0)
remote: Traceback (most recent call last):
remote:   File "/home/local/bin/git-notifier", line 388, in <module>
remote:     Config = GitConfig(sys.argv[1:])
remote:   File "/home/local/bin/git-notifier", line 102, in __init__
remote:     self.log = open(self.log, "a")
remote: IOError: [Errno 13] Permission denied: 'ghc-notifier.log'
remote: Host key verification failed.
remote: fatal: The remote end hung up unexpectedly
To simonmar at
    5c37ca9..0b02a2e  master -> master

Anyone know what's wrong?  I think the push went through.

More information about the ghc-devs mailing list