Re: [meta-mono] Git push fails. No space left
On Sun, May 18, 2014 at 6:37 PM, Michael Halstead
<michael@...> wrote: Thanks for the heads up Alex!Thats good. but I think it would be good to clean up some of contrib repos. May be a call to clean up unused contrib repos should be made. Sorry that you weren't able to push. |
|