On Sun, Feb 10, 2008 at 01:01:09PM -0500, Cyril Zorin wrote: > Hello, > > I'm the maintainer of the Coal project. I foolishly added some internal > development tree, which was not covered under the GPL, to my Git > repository. > > Can I please get someone to erase my Git repository so I can push a > proper initial revision?
Hi! I erased it. It will be created within an hour. -- Sylvain
