currently members who are not part of developers or lead-developers do not get any role assigned to them:
case 'member':
if (teams.includes('lead-developers'))
this._updateGitHubRole('lead-developer');
else if (teams.includes('developers'))
this._updateGitHubRole('developer');
break;
if members without these roles made any contribution that is merged to master branch we could assign collaborator role just as we do for outside contributors
currently members who are not part of
developers
orlead-developers
do not get any role assigned to them:if members without these roles made any contribution that is merged to master branch we could assign collaborator role just as we do for outside contributors