Re: [eclipse-dev] [platform-releng-dev] eclipse.platform.ui Git repository is operational again...
We'll be writing up what happened and what we did to fix it, and we'll post the URL to the relevant mailing lists.
On Tue, Oct 25, 2011 at 1:00 PM, Deepak Azad <deepak.azad@xxxxxxxxxx>
Do you know what caused the problem in the first place ? Are there any
things that others should keep in mind so that something of this sort does
not happen again?
Hi floor. Make me a sammich! - GIR