search

egraphs-good / egglog

egraphs + datalog!
https://egraphs-good.github.io/egglog/
MIT License
458 stars 54 forks source link

Add all contributors as members of the codspeed org #451

Closed saulshanabrook closed 4 weeks ago

saulshanabrook commented 1 month ago

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 https://github.com/egraphs-good/egglog/pull/448#issuecomment-2428405241

Alex-Fischman commented 1 month ago

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

saulshanabrook commented 1 month ago

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.

saulshanabrook commented 4 weeks ago

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.