Please temporarily disable branch protection on https://github.com/eclipse-platform/eclipse.platform
See https://github.com/eclipse-platform/eclipse.platform/issues/77
We have to rewrite broken git history.
Alternatively, please give the rights to force push & merge to @akurtakov
@fgurr : FYI