Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Place "olamy" in git plugin developers and git client plugin developers groups #4054

Closed
MarkEWaite opened this issue Aug 27, 2024 · 1 comment

Comments

@MarkEWaite
Copy link
Contributor

MarkEWaite commented Aug 27, 2024

GitHub repositories

Olivier Lamy is authorized in repository permissions updater data files (here and here) for:

but is not included in either of those groups. I'll be out of the office for almost two weeks and need to be sure that @olamy has the needed permissions.

GitHub users to have permission

@olamy

Justification

Olivier Lamy is already authorized per the permissions file and can merge pull request in at least one of those repositories, but is not in the designated GitHub team. I'd like him to be included in the GitHub team.

@timja
Copy link
Member

timja commented Aug 28, 2024

Done

@timja timja closed this as completed Aug 28, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants