<Including [email protected] as we also use that channel for communicating
Eclipse 4 Platform UI stuff>
On Fri, Oct 21, 2011 at 4:42 PM, Brian de Alwis <[email protected]>
wrote:
> The issue is being tracked in bug #361707.
The link is here.
https://bugs.eclipse.org/bugs/show_bug.cgi?id=361707
I have pushed some branches back up. R4_development should be safe as that
was not deleted.
I pushed R3_development back and its last commit was from Chris G.
http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?h=R3_development&id=5b1f520a5d45522615b2eafa69b594231bc2e60f
If you pushed something in the meantime and I missed it, you may have to
push it back. However, as Brian mentioned, please hold off on interacting
with the repository (no pushing, no fetching) until we have brought the
repository back into a known good state.
Regards,
Remy
----------
Remy Suen
Eclipse Platform/UI Committer
IBM Ottawa
1-613-356-5162
_______________________________________________
e4-dev mailing list
[email protected]
https://dev.eclipse.org/mailman/listinfo/e4-dev
