Fix issue #5179: [frontend]: Push to Github button should only push branch, but not creating a PR#5181
Merged
xingyaoww merged 15 commits intomainfrom openhands-fix-issue-5179Nov 25, 2024
+447-346
Commits
Commits on Nov 25, 2024
- committed
- authored
- committed
Fix pr #5181: Fix issue #5179: [frontend]: Push to Github button should only push branch, but not creating a PR
committed- committed
- committed
- committed
- committed