Re: [meta-mono] Git push fails. No space left
On Sun, May 18, 2014 at 6:37 PM, Michael Halstead
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.
that you weren't able to push.