github/OpenHands
1
0
Fork 0
mirror of https://github.com/OpenHands/OpenHands.git synced 2025-12-26 05:48:36 +08:00
Code Issues Packages Projects Releases Wiki Activity

hotfix(Secrets): Add event stream filter for refreshed secret (#6764)

Browse Source
This commit is contained in:
Rohit Malhotra 2025-02-17 13:27:32 -05:00 committed by GitHub
parent 57391d6e66
commit 14ee6d7afe
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
openhands/events/stream.py
View File

@ -282,6 +282,9 @@ class EventStream:
def set_secrets(self, secrets: dict[str, str]):
self.secrets = secrets.copy()
def update_secrets(self, secrets: dict[str, str]):
self.secrets.update(secrets)
def _replace_secrets(self, data: dict) -> dict:
for key in data:
if isinstance(data[key], dict):

7
openhands/runtime/base.py
View File

@ -225,6 +225,13 @@ class Runtime(FileEditRuntimeMixin):
export_cmd = CmdRunAction(
f"export GITHUB_TOKEN='{token.get_secret_value()}'"
)
self.event_stream.update_secrets(
{
'github_token': token.get_secret_value(),
}
)
await call_sync_from_async(self.run, export_cmd)
observation: Observation = await call_sync_from_async(