curl --request POST \
  --url http://localhost:8080/api/workspaces/{id}/github/connect \
  --header 'Authorization: Bearer <token>' \
  --header 'Content-Type: application/json' \
  --data '
{
  "installation_id": 123,
  "repo": "<string>"
}
'

{
  "id": "<string>",
  "name": "<string>",
  "path": "<string>",
  "created_at": "<string>",
  "updated_at": "<string>",
  "github_url": "<string>",
  "github_installation_id": 123,
  "github_repo": "<string>",
  "auto_fix_merge_conflicts": false,
  "auto_fix_ci_failures": false
}