[Savannah-help-public] Git repository reset

[Cyril Zorin]

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?

Thanks.