Current permissions seem to be that the infra team has admin access to https://github.com/NixOS/rfc39 and no special access to https://github.com/NixOS/rfc39-record, and the Nixpkgs CI team has no access to either. Given that these repos both pertain to Nixpkgs automation (and rfc39-record will include a GitHub Actions workflow shortly), I humbly suggest giving the Nixpkgs CI team at least triage (and preferably write, so we can edit faulty PR branches or automation if need be) access to at least the rfc39-record repo. (I think giving us rfc39 write access too wouldn't be the worst idea; the repo seemed to be in need of some love.)
Forgot to ping: @NixOS/org
Current permissions seem to be that the infra team has admin access to https://github.com/NixOS/rfc39 and no special access to https://github.com/NixOS/rfc39-record, and the Nixpkgs CI team has no access to either. Given that these repos both pertain to Nixpkgs automation (and rfc39-record will include a GitHub Actions workflow shortly), I humbly suggest giving the Nixpkgs CI team at least triage (and preferably write, so we can edit faulty PR branches or automation if need be) access to at least the rfc39-record repo. (I think giving us rfc39 write access too wouldn't be the worst idea; the repo seemed to be in need of some love.)
Forgot to ping: @NixOS/org