Collaborating in Github with Codex developers

Hello!

I’m developing some software on a Github public repo with a small team, and one of my collaborators would like to try developing with Codex. We’re having issues with trying to use Codex with the repo.

I own the repo and do not have a ChatGPT subscription or any experience with Codex. When he tries to open the repo using Codex, it doesn’t show up. It looks like Codex can only be used on repos that the subscriber owns? We’ve verified that Codex access is set to ‘All Repositories’ on his github account, and that he can make commits normally on my repo.

It seems like I have to install the codex app into the Github repo for him to use codex, but I can’t find more information. I couldn’t find the app on github marketplace without him sending me a direct link, so I’m not sure if I can install the app without a ChatGPT subscription. I’d rather not install any apps into the repo unless absolutely necessary.

Is there any way that he can use Codex on his end and commit the changes, rather than having an app installed into our repo?

Thanks,
Ethan

Perhaps he can fork your project (since it’s public), make the changes in a branch in his own fork, then submit a PR to you?

Similar to how we can propose contributions to projects on which we are not members.

1 Like