Re: [platform-dev] Github migration and Gerrit reviews

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

Re: [platform-dev] Github migration and Gerrit reviews

From: Mickael Istria <mistria@xxxxxxxxxx>
Date: Sat, 19 Mar 2022 14:55:02 +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>

On Saturday, March 19, 2022, Wim Jongman <wim.jongman@xxxxxxxxx> wrote:
> I have two stale open Gerrits that still might be useful. Will Gerrit be available after the move so that I can convert them to PR's?

Yes.

--

Mickael Istria

Eclipse IDE developer, for Red Hat Developers

References:
- [platform-dev] Github migration and Gerrit reviews
  - From: Aleksandar Kurtakov
- Re: [platform-dev] Github migration and Gerrit reviews
  - From: Wim Jongman

Prev by Date: Re: [platform-dev] Github migration and Gerrit reviews
Next by Date: [platform-dev] triggerWinGerrit
Previous by thread: Re: [platform-dev] Github migration and Gerrit reviews
Next by thread: [platform-dev] eclipse.platform.ua migrated to GitHub
Index(es):
- Date
- Thread

Breadcrumbs