fix git diff TIMEOUT problem in swe_bench evaluation (#2828)

* fix git diff TIMEOUT problem in swe_bench evaluation

* fix git diff TIMEOUT problem in swe_bench evaluation

* Update evaluation/swe_bench/swe_env_box.py

Co-authored-by: மனோஜ்குமார் பழனிச்சாமி <smartmanoj42857@gmail.com>

---------

Co-authored-by: மனோஜ்குமார் பழனிச்சாமி <smartmanoj42857@gmail.com>
This commit is contained in:
Bin Lei 2024-07-07 02:30:59 -04:00 committed by GitHub
parent 0973e31f00
commit c8e5848add
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -137,6 +137,11 @@ class SWEBenchSSHBox(DockerSSHBox):
logger.error('Failed to cd to the repo')
return ''
exit_code, _output = self.execute('git config --global core.pager ""')
if exit_code != 0:
logger.error('Failed to change git config')
return ''
# add everything to the index
exit_code, output = self.execute('git add -A')
if exit_code != 0: