[platform-dev] eclipse.platform.ui.tools migrated to GitHub

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

[platform-dev] eclipse.platform.ui.tools migrated to GitHub

From: Mickael Istria <mistria@xxxxxxxxxx>
Date: Fri, 18 Mar 2022 00:29:56 +0100
Delivered-to: platform-dev@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/platform-dev/>
List-help: <mailto:platform-dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/platform-dev>, <mailto:platform-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/platform-dev>, <mailto:platform-dev-request@eclipse.org?subject=unsubscribe>

eclipse.platform.ui.tools Gut repository is now moved to GitHub: https://github.com/eclipse-platform/eclipse.platform.ui.tools . Please immediately set you `upstream` repo url to use GitHub instead of Gerrit
$ git remote set upstream git@xxxxxxxxxx:eclipse-platform/eclipse.platform.releng.git

Also update your development files (Oomph profiles, *.psf files...) to adjust your workflow.

Cheers,

Mickael Istria

Eclipse IDE developer, for Red Hat Developers

Prev by Date: [platform-dev] [help wanted] Icons not mirrored in Arabic locale in 'Preference Spy' panel [BiDi issue]
Next by Date: [platform-dev] Github migration and Gerrit reviews
Previous by thread: [platform-dev] [help wanted] Icons not mirrored in Arabic locale in 'Preference Spy' panel [BiDi issue]
Next by thread: [platform-dev] Github migration and Gerrit reviews
Index(es):
- Date
- Thread

Breadcrumbs