R queue for news repo. Please let us know if any PR is not getting enough
>> attention.
>>
>>
>>
>> Thanks
>>
>> Sravan
>>
>>
>>
>> *From:* platform-dev *On Behalf Of *Jeff
>> Johnston
>> *Sent:* 08 April 2022 04:44
>> *T
do that. We will try to clear
> PR queue for news repo. Please let us know if any PR is not getting enough
> attention.
>
>
>
> Thanks
>
> Sravan
>
>
>
> *From:* platform-dev *On Behalf Of *Jeff
> Johnston
> *Sent:* 08 April 2022 04:44
> *To:* platform-dev
let us know if any PR is not getting enough
attention.
Thanks
Sravan
From: platform-dev On Behalf Of Jeff Johnston
Sent: 08 April 2022 04:44
To: platform-dev@eclipse.org
Subject: [EXTERNAL] [platform-dev] www.eclipse.org-eclipse-news.git access
Prior to the github migration, I as a JDT committer
Jeff,
Did you specify your github username on this page?
https://accounts.eclipse.org/user/edit
If you didn't, do it now, and some hour later, you should become
"member" on GitHub instead of "contributor".
On 2022-04-08 02:13, Jeff Johnston wrote:
Prior to the github migration, I as a JDT com
Prior to the github migration, I as a JDT committer could review and merge
N&N entries for JDT via gerrit.
After the github migration, I am just a contributor and someone else needs
to merge. Is it possible to give me and other JDT committers the ability
to merge PRs to the news repo or can that
