On 12/29/2013 11:38 AM, Damien Krotkine wrote: > You should have permission now. I added you in the coder team but the > team was removed from the project... Github permission management > interface is horrible. Anyway, try to push again :) Done for real! --Steffen