OpenHands d267c066e7 Fix issue #5179: [frontend]: Push to Github button should only push branch, but not creating a PR (#5181)		1 жил өмнө
..
README.md	a753babb7a Integrate OpenHands resolver into main repository (#4964)	1 жил өмнө
__init__.py	d267c066e7 Fix issue #5179: [frontend]: Push to Github button should only push branch, but not creating a PR (#5181)	1 жил өмнө
apply.py	d267c066e7 Fix issue #5179: [frontend]: Push to Github button should only push branch, but not creating a PR (#5181)	1 жил өмнө
exceptions.py	d267c066e7 Fix issue #5179: [frontend]: Push to Github button should only push branch, but not creating a PR (#5181)	1 жил өмнө
patch.py	d267c066e7 Fix issue #5179: [frontend]: Push to Github button should only push branch, but not creating a PR (#5181)	1 жил өмнө
snippets.py	d267c066e7 Fix issue #5179: [frontend]: Push to Github button should only push branch, but not creating a PR (#5181)	1 жил өмнө

Patching code

Originally from whatthepatch (MIT license)