Dear project leads and committers, ** The following applies only to Eclipse projects with GitHub repos! **
Since we see issues like the following on a regular basis: * "I'm a committer, but I can't push to my project's GitHub repo!!1!" * "Why did I not get an invitation to my project's GitHub team??" * "I've added contributors to our project, but I can't assign issues/PRs to them" Please remember that in order for our sync script to do it's magic (that is: add committers/contributors/project leads to GitHub teams to give them the right permissions), the users need to add their GitHub ID to their Eclipse.org account. To add the GitHub ID to your account, please sign in to your Eclipse.org account, select "Edit my account" in the little drop-down menu beside "Welcome <your userid>" and under "Social Media Links" add the "GitHub Username". If you are a project lead, please forward this information to new committers to ensure a smooth on-boarding. Regards, Fred -- Frederic Gurr Release Engineer | Eclipse Foundation Europe GmbH Annastr. 46, D-64673 Zwingenberg Handelsregister: Darmstadt HRB 92821 Managing Directors: Gaƫl Blondelle, Mike Milinkovich _______________________________________________ cross-project-issues-dev mailing list cross-project-issues-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/cross-project-issues-dev