[RicoElectrico]

Tangential question - how do I check a list of people who can write to a public GitHub repo and merge a PR? Especially so if said repo is under a personal profile, not an organization.

[judge2020]

settings -> collaborators. If you aren't a owner/admin of the repo you can't see the users with push permission.