On Sun, Nov 16, 2008 at 10:07 PM, Ola Bini <[EMAIL PROTECTED]> wrote: > If I remember correctly, there were some people (expect for me) with commit > access to that repository - have you given them push rights to this repo?
I haven't given any push rights yet, but please provide your github
user ids and I'll be happy to add you.
/Nick
---------------------------------------------------------------------
To unsubscribe from this list, please visit:
http://xircles.codehaus.org/manage_email
