Requesting GitHub admin to mozilla/blurts-server repo for jozhou
Categories
(mozilla.org :: Github: Administration, task)
Tracking
(Not tracked)
People
(Reporter: jozhou, Unassigned)
Details
I've read https://wiki.mozilla.org/GitHub#Team_Maintainers_.26_Project_Leads, and need help adding a contributor to the org:
This request came from this slack conversation: https://mozilla.slack.com/archives/C019WG3TTM2/p1683121037148819?thread_ts=1683119716.233989&cid=C019WG3TTM2
In order for me to have admin access for our circle CI project, I would need to be made admin for the Github repo "mozilla/blurts-server"
My github handle is: github.com/mansaj
Comment 1•3 years ago
|
||
I'm showing that github account mansaj already has access to that repo mozilla/blurts-server as an admin.
And looking at the audit log, you've been an admin for a quite awhile. (the logs go back about 6 months, I show you adding a user to the repo in January, which is an admin function.)
One way to check - if this link works - you should be able to find yourself as an admin ... if the link doesn't work please let me know so we can troubleshoot further.
(In reply to Chris Knowles [:cknowles] from comment #1)
I'm showing that github account
mansajalready has access to that repomozilla/blurts-serveras an admin.And looking at the audit log, you've been an admin for a quite awhile. (the logs go back about 6 months, I show you adding a user to the repo in January, which is an admin function.)
One way to check - if this link works - you should be able to find yourself as an admin ... if the link doesn't work please let me know so we can troubleshoot further.
Thanks for looking into this, Chris. I think I was looking for some actions in CircleCI that were not controlled by the Github permissions. That has been resolved now. We can mark this as done.
Description
•