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

2022-03-19 Thread Mickael Istria
On Saturday, March 19, 2022, Wim Jongman 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

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

2022-03-19 Thread Wim Jongman
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? Cheers, Wim On Fri, 18 Mar 2022 at 09:15, Aleksandar Kurtakov wrote: > Hey everyone, > This is a kind request for everyone having open gerrits in the following

[platform-dev] Github migration and Gerrit reviews

2022-03-18 Thread Aleksandar Kurtakov
Hey everyone, This is a kind request for everyone having open gerrits in the following list https://git.eclipse.org/r/q/projects:platform+status:open to start work towards finishing them immediately. Migration to github is in progress with more and more repositories being moved every day so finishi