(I hope it's not inappropriate to ask this here, but it does seem relevant...)
Should one be expecting errors if one had tried to push earlier? Such as: $ git push -v Pushing to https://code.google.com/p/muddle/ Counting objects: 7, done. Delta compression using up to 2 threads. Compressing objects: 100% (4/4), done. Writing objects: 100% (4/4), 506 bytes, done. Total 4 (delta 3), reused 0 (delta 0) remote: Scanning pack: 100% (4/4), done. remote: Storing objects: 100% (4/4), done. remote: Processing commits: 100% (1/1), done. remote: Error: internal server error error: RPC failed; result=56, HTTP code = 200 fatal: The remote end hung up unexpectedly fatal: The remote end hung up unexpectedly -- You received this message because you are subscribed to the Google Groups "Project Hosting on Google Code" group. To view this discussion on the web visit https://groups.google.com/d/msg/google-code-hosting/-/-Myh_wNcki8J. To post to this group, send email to google-code-hosting@googlegroups.com. To unsubscribe from this group, send email to google-code-hosting+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/google-code-hosting?hl=en.
