[platform-dev] eclipse.platform.text migrated to GitHub

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

[platform-dev] eclipse.platform.text migrated to GitHub

From: Mickael Istria <mistria@xxxxxxxxxx>
Date: Fri, 25 Mar 2022 16:16:17 +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.text Git repository is now moved to GitHub: https://github.com/eclipse-platform/eclipse.platform.text
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.text.git

$ git pull upstream master

Mickael Istria

Eclipse IDE developer, for Red Hat Developers

Follow-Ups:
- Re: [platform-dev] eclipse.platform.text migrated to GitHub
  - From: Wim Jongman

Prev by Date: Re: [platform-dev] Turn on protected branches?
Next by Date: Re: [platform-dev] Turn on protected branches?
Previous by thread: [platform-dev] eclipse.platform.runtime & eclipse.platform.resources moved to GitHub
Next by thread: Re: [platform-dev] eclipse.platform.text migrated to GitHub
Index(es):
- Date
- Thread

Breadcrumbs