Add branch information to repository context to prevent unwanted branch switching (#9833)

This commit is contained in:
Rohit Malhotra
2025-08-01 00:25:36 -04:00
committed by GitHub
parent 1cdc38eafb
commit 287c34b3f3
11 changed files with 44 additions and 7 deletions

View File

@@ -70,6 +70,7 @@ class RecallObservation(Observation):
# workspace context
repo_name: str = ''
repo_directory: str = ''
repo_branch: str = ''
repo_instructions: str = ''
runtime_hosts: dict[str, int] = field(default_factory=dict)
additional_agent_instructions: str = ''