egraphs-good/egglog

Add all contributors as members of the codspeed org

Closed this issue · 3 comments

In order for maintainers of this org to be able to "acknowledge" regressions on codspeed, they would have to be added as members of the org there.

Screenshot 2024-10-22 at 11 33 38 AM

I believe @yihozhang is the one who can do that.

cc @Alex-Fischman #448 (comment)

Is there a way to give a team permissions? I'm not familiar with GitHub org structure but that would be ideal.

I don't believe so... I think you just have to make individual people admins on codspeed. It's separate from the github org structure.

OK I figured it out. @Alex-Fischman had to first make a codspeed account with his github, to make him a "member". Any person who is part of the github org is added as a member when they make an account. Then I could upgrade him to an "admin" so he could acknowledge regressions.