[eclipse-dev] eclipse.platform.ui Git repository now on GitHub

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[eclipse-dev] eclipse.platform.ui Git repository now on GitHub

From: Mickael Istria <mistria@xxxxxxxxxx>
Date: Mon, 11 Apr 2022 16:51:05 +0200
Delivered-to: eclipse-dev@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/eclipse-dev/>
List-help: <mailto:eclipse-dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/eclipse-dev>, <mailto:eclipse-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/eclipse-dev>, <mailto:eclipse-dev-request@eclipse.org?subject=unsubscribe>

eclipse.platform.ui Git repository is now moved to GitHub: https://github.com/eclipse-platform/eclipse.platform.ui
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

Prev by Date: [eclipse-dev] Stop listing transitive dependencies in features?
Next by Date: Re: [eclipse-dev] [platform-dev] Experience with Github migration
Previous by thread: [eclipse-dev] Stop listing transitive dependencies in features?
Next by thread: Re: [eclipse-dev] [platform-dev] Experience with Github migration
Index(es):
- Date
- Thread

Breadcrumbs