[platform-dev] platform-resources merged into platform repo now

[Christoph Läubrich <laeubi@xxxxxxxxxxxxxx>]

The content of the former "eclipse.platform.resources"[1] repository is 
now merged into the "eclipse.platform" [2] repository.

All issues are transferred and builds adjusted so any changes or 
development should be switched to the new location now.

To migrate an existing setup you should do the following:

1) remove the eclipse.platform.resources repository from the git 
perspective which will remove all imported projects from your workspace
2) Update your eclipse.platform clone to the latest master and import 
the projects from the "resources" folder as desired.

Also special thanks to Andrey Loskutov who discovered a server problem 
[3] with the merge and fixed that already, so please also keep his mail 
into account from yesterday when updating your platform master branch!


[1] https://github.com/eclipse-platform/eclipse.platform.resources
[2] https://github.com/eclipse-platform/eclipse.platform
[3] https://github.com/eclipse-platform/eclipse.platform/issues/77