Arena Experiments: GitHub Integration in Agent Mode

We are currently experimenting with a new feature: GitHub Integration in Agent Mode. For those with this experiment, users connect their GitHub, then select the repo they want to work from. From there, they can prompt the agent to build features, fix bugs, or make other code changes.

The agent will make the relevant file updates and present a diff, which shows the full list of changes made during the session. Users can also ask the agent to push those changes and create a PR.

Each chat session currently supports creating one PR. While we may support multiple PRs per chat session in the future, the current workflow is designed around a single PR per chat.

When a feature is an experiment, it means it isn't available to all users yet. We're testing how the feature performs, gathering feedback, and making improvements before deciding whether to roll it out more broadly.