OpenHands d267c066e7

Fix issue #5179: [frontend]: Push to Github button should only push branch, but not creating a PR (#5181) ...

Co-authored-by: Xingyao Wang <xingyao6@illinois.edu>
Co-authored-by: Xingyao Wang <xingyao@all-hands.dev>
Co-authored-by: Graham Neubig <neubig@gmail.com>

2024-11-25 15:59:14 +00:00

..

guess_success

Integrate OpenHands resolver into main repository (#4964)

2024-11-14 09:45:46 -05:00

repo_instructions

Fix issue #5179: [frontend]: Push to Github button should only push branch, but not creating a PR (#5181)

2024-11-25 15:59:14 +00:00

resolve

Fix issue #5179: [frontend]: Push to Github button should only push branch, but not creating a PR (#5181)

2024-11-25 15:59:14 +00:00