On 05/15/2011 11:32 PM, Kevin Redon wrote:
I already pushed some time ago, but it seems the git repo is down, harald needs to repair it. (Correct me if I am just clumsy with my git inexperience.) I can send you the code meanwhile if you want.
What is the error you get on push? I could help you with permissions on the git repo...