| Re: [platform-ui-dev] Platform-UI git repository is b0rked: do not commit |
<Including e4-dev@xxxxxxxxxxx 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 <briandealwis@xxxxxxxxx> 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