Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 558979

Summary:	Github vs PMI committers cannot write to github, please consider a reinvite?
Product:	Community	Reporter:	Michael Jaeger <mcj>
Component:	GitHub	Assignee:	Eclipse Webmaster <webmaster>
Status:	RESOLVED FIXED	QA Contact:
Severity:	normal
Priority:	P3	CC:	frederic.gurr, lars.geyer-blaumeiser, martin.monperrus
Version:	unspecified
Target Milestone:	---
Hardware:	All
OS:	All
Whiteboard:

Description Michael Jaeger

2020-01-09 09:22:47 EST

Hello,

there seems to be an issue related to these:

https://bugs.eclipse.org/bugs/show_bug.cgi?id=463796
https://bugs.eclipse.org/bugs/show_bug.cgi?id=553705
https://bugs.eclipse.org/bugs/show_bug.cgi?id=522594

but maybe it is a different root cause. As for the idea it is SPAM: we donot have spam folders, Maybe the invite mails was captured on the mailserver level, but I doubt that since other invites have worked. Maybe it is related to 522594.

1. For repo: https://github.com/eclipse/sw360

2. Github user accounts: akapti and smrutis1 do not seem to be able to write there, although they are committers at Eclise PMI

3. They are committers on the Eclipse PMI here:
https://accounts.eclipse.org/users/akapti
https://accounts.eclipse.org/users/ssahooxkh

4. as it can be also seen here:
https://projects.eclipse.org/projects/technology.sw360/who

Question: could you please consider them to the github repo?

Kind regards,
Michael

Comment 1 Eclipse Webmaster

2020-01-13 11:47:45 EST

It looks like the issue for both of these committers is that they have not added their Github IDs to their Eclipse.org accounts(https://accounts.eclipse.org -> profile -> edit -> Github ID).  Once they do that they should be invited the next time the sync tool runs.

-M.

Comment 2 Michael Jaeger

2020-02-11 16:03:31 EST

Embarrassing, it was in fact this. thanks for the quick help and sorry for wasting time. Kind regards, Michael

Comment 3 Martin Monperrus

2020-12-09 07:25:08 EST

Thanks for the tip, I confirm that when their github id is missing, committers have neither the PR Merge right nor the push right on Github.

How often is the sync tool run?

Thanks --Martin

Comment 4 Frederic Gurr

2020-12-09 07:48:31 EST

(In reply to Martin Monperrus from comment #3)
> How often is the sync tool run?
Every two hours.

Comment 5 Martin Monperrus

2020-12-09 09:02:32 EST

Super useful, thanks Frederic.