Hi All, GitHub url for eclipse.pde.ui.git repo : https://github.com/eclipse-pde/eclipse.pde.ui.git Please migrate all your PDE repos Please use GitHub workflow for making code changes in pde.ui repo.
Please also note that the pde.build repo has already been moved to GitHub few days ago ( thanks Alex) https://github.com/eclipse-pde/eclipse.pde.build.git Thanks & Regards, Vikas Ps: Thanks everyone for taking care of open gerrits in PDE. We had 0 open gerit on 1st April just before migration From: Vikas Chandra <vikas.chan...@in.ibm.com> Date: Thursday, 31 March 2022 at 4:08 PM To: "Eclipse PDE general developers list." <pde-...@eclipse.org> Cc: "Eclipse platform general developers list." <platform-dev@eclipse.org> Subject: Re: [action required] Migration of pde.ui repo to github Hi all, Only 4 open gerrits are remaining. Please do the needful. Thanks and Regards, Vikas From: Vikas Chandra <vikas.chan...@in.ibm.com> Date: Tuesday, 29 March 2022 at 5:38 PM To: "Eclipse PDE general developers list." <pde-...@eclipse.org> Cc: "Eclipse platform general developers list." <platform-dev@eclipse.org> Subject: [action required] Migration of pde.ui repo to github Hello PDE committers and contributors, Considering the upcoming migration from Gerrit to GitHub for PDE.ui projects, I would like to request everyone to look all the open gerrit in their name. The full list is here https://git.eclipse.org/r/q/repo:pde/eclipse.pde.ui+is:open If change is no longer required, please abandon. If the change is relevant, please merge them. If both are not possible, please make a note of gerrit patch now and manually migrate to GitHub ( once migration is done). It will be good to do this by EOD Thursday ( 31st March) as migration of pde.ui may be done on or after 1st April, 2022. Thanks and Regards, Vikas
_______________________________________________ platform-dev mailing list platform-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev