This repository is now moved to GitHub: https://github.com/eclipse-platform/eclipse.platform.releng.aggregator