Skip to content

Add girgias and myself to admins #20

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

Merged
merged 1 commit into from
May 7, 2023
Merged

Conversation

iluuu1994
Copy link
Member

No description provided.

@kelunik
Copy link
Member

kelunik commented May 7, 2023

@cmb69 Who decides / approves that?

@kelunik
Copy link
Member

kelunik commented May 7, 2023

@iluuu1994 Could you please describe the rationale behind this request?

@iluuu1994
Copy link
Member Author

See php/php-src#11172 (comment). Most people in that list are not around regularly. Usually, Christoph would grant RFC privileges but he hasn't been around for a couple of months.

@Girgias Girgias merged commit 7db9959 into php:master May 7, 2023
@Girgias
Copy link
Member

Girgias commented May 7, 2023

@kelunik as Iliya has said this is to be able to accept wiki karma requests, as previously it was only Christoph that would accept them. And ideally, we should not leave those responsibilities in the hands of one person.

@iluuu1994 iluuu1994 deleted the patch-1 branch May 7, 2023 17:10
@sy-records sy-records mentioned this pull request Aug 12, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants