mirror of https://github.com/OpenHands/OpenHands.git synced 2025-12-26 05:48:36 +08:00

History

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

__init__.py

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

apply.py

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

exceptions.py

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

patch.py

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

README.md

Integrate OpenHands resolver into main repository (#4964 )

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

snippets.py

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

README.md

Patching code

Originally from whatthepatch (MIT license)