Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[eclipse-dev] eclipse.platform.ui Git repository now on GitHub

eclipse.platform.ui Git repository is now moved to GitHub:
If you see this message, perform GitHub migration by (assuming the legacy Gerrit repo is called `upstream`)
$ git reset --hard HEAD
$ git remote set upstream git@xxxxxxxxxx:eclipse-platform/eclipse.platform.ui.git
$ git pull upstream master

Mickael Istria
Eclipse IDE developer, for Red Hat Developers

Back to the top