Fix issue #5179: [frontend]: Push to Github button should only push branch, but not creating a PR #1541
Triggered via issue
November 23, 2024 20:32
openhands-agent
Status
Skipped
Total duration
2s
Artifacts
–