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...