push error

2012-02-02 Thread Simon Peyton-Jones
When pushing to the ghc-7.4 branch, I got this error. No clue what is happening! Simon simonpj@cam-04-unx:~/code/ghc-7.4-branch$ git push Counting objects: 12, done. Delta compression using up to 8 threads. Compressing objects: 100% (7/7), done. Writing objects: 100% (7/7), 1.17 KiB, done. Tota

Re: Push error

2011-06-11 Thread Ian Lynagh
On Sat, Jun 11, 2011 at 01:54:25PM +, Simon Peyton-Jones wrote: > I got the dump below when I tried to push to the GHC repo. I have no idea > what is going on. Thanks for the heads-up. It's just teething problems with a new bit of git/trac integration. Nothing to worry about. Thanks Ian _

Re: Push error

2011-06-11 Thread Edward Z. Yang
It looks like a Git hook may be broken? Either way, the push seems to have gone through OK. Edward Excerpts from Simon Peyton-Jones's message of Sat Jun 11 09:54:25 -0400 2011: > I got the dump below when I tried to push to the GHC repo. I have no idea > what is going on. > > Simon > > git p

Push error

2011-06-11 Thread Simon Peyton-Jones
I got the dump below when I tried to push to the GHC repo. I have no idea what is going on. Simon git push Counting objects: 94, done. Compressing objects: 100% (59/59), done. Writing objects: 100% (59/59), 9.66 KiB, done. Total 59 (delta 49), reused 0 (delta 0) To g...@github.com:ghc/ghc.git