Two PRs: - <https://github.com/OpenHands/software-...
# proj-agent-server
l
The second one is closed, is that intentional?
m
Ah no... human error. I think I did something wrong with the github UI. It is a little bit strange for me this morning. I re-opned it
šŸ‘ 1
šŸ‘€ 1
l
Replied
m
@limited-student-10747 I changed the default Then added a benchmark to show that it works.
l
Great, thanks! Approved