Per https://bugs.eclipse.org/bugs/show_bug.cgi?id=518910 <https://bugs.eclipse.org/bugs/show_bug.cgi?id=518910>, the merge process has started but we ran into an issue where the file system permissions of the repos have been changed whereas the committers were not added to the "eclipse.platform" group. Basically, you were not able to push to one of the repo concerned by the merge if you were not a committer of Eclipse Platform before. See the committer id list below for the people who were concerned.
I've done a quick fix this EU morning by adding everyone from the list below to the "eclipse.platform" group. Stay tune on bug https://bugs.eclipse.org/bugs/show_bug.cgi?id=518910 <https://bugs.eclipse.org/bugs/show_bug.cgi?id=518910>, we will do a full fix later today. Thanks. Mikael akurtakov aloskutov athondapu bdealwis dfauth ewilliams jblackburn jonas ktatavarthi lshanmugam lufimtsev lvogel mbarbero mistria nmodi oprouvost psuzzi scela sfrancisco sischolz slakkimsetti sprigogin sptaszkiewi tmccrary305 wsudo -- Mikaël Barbero - Eclipse Foundation IT Services - Release Engineering 📱 (+33) 642 028 039 📧 [email protected] 🐦 @mikbarbero
signature.asc
Description: Message signed with OpenPGP
_______________________________________________ platform-dev mailing list [email protected] To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://dev.eclipse.org/mailman/listinfo/platform-dev
